/fol.sml/1.2/Wed Aug 18 19:39:45 1999//
/README/1.6/Sun Dec 12 04:32:30 1999//
D/MLsyntax////
D/lambda////
D/parity////
D/bmark////
D/ind_def////
D/RSA////
/taut.sml/1.6/Wed Dec 27 14:48:50 2000//
/tempScript.sml/1.2/Mon Jul 10 22:20:50 2000//
/Thery.sml/1.4/Sat Mar 17 04:01:48 2001//
/euclid.sml/1.9/Sat Mar 17 04:00:40 2001//
/autopilot.sml/1.17/Wed May 23 14:00:48 2001//
