/WALK/1.1.1.1/Sat Sep  5 22:59:27 1998//
/fquery.fun/1.2/Mon Aug 25 16:55:34 2003//
/fquery.sig/1.2/Mon Aug 25 16:55:34 2003//
/frontend.sml/1.44/Wed Jan 14 05:38:55 2004//
/lexer.fun/1.26/Sat Sep 18 23:42:53 2004//
/lexer.sig/1.22/Mon Aug 25 16:55:34 2003//
/parse-condec.fun/1.9/Tue Sep 30 18:05:00 2003//
/parse-condec.sig/1.5/Sat Dec 28 05:15:40 2002//
/parse-fixity.fun/1.6/Tue Nov 30 14:23:18 2004//
/parse-fixity.sig/1.5/Tue Nov 30 14:23:18 2004//
/parse-mode.fun/1.10/Thu Aug 21 02:25:19 2003//
/parse-mode.sig/1.3/Sat Dec 28 05:15:40 2002//
/parse-module.fun/1.2/Sat Dec 28 05:15:40 2002//
/parse-module.sig/1.2/Sat Dec 28 05:15:40 2002//
/parse-query.fun/1.4/Sat Dec 28 05:15:40 2002//
/parse-query.sig/1.3/Sat Dec 28 05:15:40 2002//
/parse-term.fun/1.15/Mon Aug 25 16:55:34 2003//
/parse-term.sig/1.8/Mon Aug 25 16:55:34 2003//
/parse-thm.fun/1.18/Sat Dec 28 05:15:40 2002//
/parse-thm.sig/1.8/Sat Dec 28 05:15:40 2002//
/parser.fun/1.29/Tue Nov 30 14:23:18 2004//
/parser.sig/1.26/Tue Nov 30 14:23:18 2004//
/parsing.fun/1.3/Sat Dec 28 05:15:40 2002//
/parsing.sig/1.3/Sat Dec 28 05:15:40 2002//
/recon-condec.fun/1.5/Fri Jul  2 20:34:03 2004//
/recon-condec.sig/1.2/Sat Dec 28 05:15:40 2002//
/recon-mode.fun/1.6/Mon Aug 25 16:55:34 2003//
/recon-mode.sig/1.4/Thu Aug 21 02:25:19 2003//
/recon-module.fun/1.2/Sat Dec 28 05:15:40 2002//
/recon-module.sig/1.2/Sat Dec 28 05:15:40 2002//
/recon-query.fun/1.3/Sat Oct 18 23:52:44 2003//
/recon-query.sig/1.2/Sat Dec 28 05:15:40 2002//
/recon-term.fun/1.7/Fri Oct 31 13:24:55 2003//
/recon-term.sig/1.3/Mon Aug 25 16:55:34 2003//
/recon-thm.fun/1.6/Mon Sep 20 16:49:18 2004//
/recon-thm.sig/1.2/Sat Dec 28 05:15:40 2002//
/solve.fun/1.25/Sat Sep 18 23:42:53 2004//
/solve.sig/1.10/Sat Dec 28 05:15:40 2002//
/sources.cm/1.26/Tue Nov 30 14:28:46 2004//
/twelf.fun/1.99/Tue Nov 30 14:28:46 2004//
/twelf.sig/1.19/Sat Oct 18 23:52:44 2003//
/unknownexn-smlnj.sml/1.1/Sun Jan 19 02:30:39 2003//
/unknownexn-stub.sml/1.1/Sun Jan 19 02:30:39 2003//
/unknownexn.fun/1.1/Sun Jan 19 02:30:39 2003//
/unknownexn.sig/1.1/Sun Jan 19 02:30:39 2003//
D
