/all-nt.sml/1.4/Wed Feb 13 17:47:30 2002//
/all.sml/1.11/Sat Dec 28 05:15:40 2002//
/anonymous.elf/1.1/Tue Feb 15 15:47:00 2000//
/clause.elf/1.2/Sat Dec 28 05:15:40 2002//
/constr.elf/1.2/Tue Mar 16 11:21:42 1999//
/constr2.elf/1.1/Tue Mar 16 11:21:43 1999//
/cover.elf/1.2/Mon Aug 25 16:55:33 2003//
/cp.elf/1.3/Mon Aug 25 16:55:33 2003//
/cp2nd.sml/1.1/Tue Dec  8 14:43:35 1998//
/cp3rd.sml/1.1/Tue Dec  8 14:43:35 1998//
/cr.sml/1.5/Wed Jan 27 13:52:33 1999//
/evenodd.elf/1.2/Mon Aug 25 16:55:33 2003//
/kevin.elf/1.1/Mon Jan 11 23:42:18 1999//
/lexing.elf/1.1.1.1/Sat Sep  5 22:59:09 1998//
/location.elf/1.1.1.1/Sat Sep  5 22:59:09 1998//
/m.sml/1.2/Wed Apr 21 13:48:21 1999//
/meta.sml/1.5/Mon Aug 25 16:55:33 2003//
/misc.elf/1.2/Wed Apr 21 09:35:20 1999//
/modes.elf/1.1.1.1/Sat Sep  5 22:59:09 1998//
/multimode.elf/1.1/Mon Oct 27 13:11:47 2003//
/occurs.elf/1.1/Fri May 14 00:57:51 1999//
/parsing.elf/1.1.1.1/Sat Sep  5 22:59:09 1998//
/relfun.sml/1.2/Mon Aug 25 16:55:33 2003//
/skolem.sml/1.2/Fri Jan 22 17:13:05 1999//
/solving.elf/1.2/Wed Apr 25 05:23:19 2001//
/strict.elf/1.2/Wed Apr 21 09:35:24 1999//
/subord.elf/1.1/Sat Dec 28 05:15:40 2002//
/term.elf/1.1.1.1/Sat Sep  5 22:59:09 1998//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:09 1998//
/total.elf/1.2/Fri Jan  3 13:20:46 2003//
/tprecon.elf/1.2/Wed Sep 30 19:39:36 1998//
/unique.elf/1.5/Sun Aug 24 21:10:08 2003//
/unsafe.sml/1.2/Wed Jan 27 13:52:33 1999//
/uscore.elf/1.1/Tue Feb 15 12:10:57 2000//
/worlds.elf/1.3/Fri Mar 30 00:30:28 2001//
D
