/.mkexec/1.3/Mon Aug 25 16:55:34 2003//
/Makefile/1.3/Mon Aug 25 16:55:34 2003//
/install.sh/1.1/Sat Dec 28 05:15:40 2002//
/load-delphin.sml/1.4/Mon Sep 20 14:54:50 2004//
/load-twelf.sml/1.4/Mon Sep 20 14:54:50 2004//
/load.sml/1.5/Mon Sep 20 14:54:50 2004//
/twelf-server-dbase.sml/1.1/Sat Dec 28 05:15:40 2002//
/twelf-server.sml/1.1/Sat Dec 28 05:15:40 2002//
/twelf-sml-dbase.sml/1.1/Sat Dec 28 05:15:40 2002//
/twelf-sml.sml/1.2/Mon Aug 25 16:55:34 2003//
D
