/magicsquares.pro/1.1.1.1/Sun Jun 25 07:22:43 2000//
/member_2.java/1.1/Sun Jun 25 10:55:42 2000//
/mergesort.pro/1.1.1.1/Sun Jun 25 07:22:43 2000//
/tm.pro/1.1.1.1/Sun Jun 25 07:22:43 2000//
D/old_java////
D/parser////
D/shapiro////
D/stuff////
/clausify.pro/1.2/Thu Jul  6 10:46:55 2000//
/primes.pro/1.2/Thu Jul  6 06:01:34 2000//
/check.pro/1.1/Sat Jul  8 08:54:07 2000//
/check2.pro/1.1/Sat Jul  8 08:54:07 2000//
/dcg.pro/1.1/Fri Jul 14 03:13:03 2000//
/crypt.pro/1.2/Sat Jul 15 13:40:29 2000//
/csp.pro/1.1.1.1/Sun Jul 30 07:43:00 2000//
/csp_t3.pl/1.1.1.1/Sun Jul 30 07:43:00 2000//
/fib.P/1.1/Wed Aug  2 07:24:25 2000//
/ham.pro/1.1/Sat Aug 26 14:02:57 2000//
/prover.pro/1.6/Mon Aug 28 21:40:59 2000//
/puzzle.pro/1.1/Sat Aug 26 14:02:58 2000//
/queens_old.pro/1.1/Sat Aug 26 14:02:58 2000//
/lazy.pro/1.1/Tue Aug 29 12:23:40 2000//
/id3.pro/1.4/Wed Oct 18 09:01:43 2000//
/ss_dcg.pro/1.1/Fri Sep 15 15:11:35 2000//
/aliasexample.pro/1.2/Sun Oct 29 01:31:54 2000//
/metutl.pl/1.1/Sun Oct 29 01:29:10 2000//
/prolog_benchmarks/1.2/Sun Oct 29 01:31:55 2000//
/typecheck.pl/1.1/Sun Oct 29 01:29:11 2000//
/TROTest.java/1.1/Fri Nov  3 00:58:29 2000//
/proof-tree.pro/1.1/Sat Nov  4 07:41:50 2000//
/nrev.pro/1.3/Sun Nov 12 12:22:46 2000//
/queens.pro/1.6/Sun Nov 12 12:22:46 2000//
/reverse.pro/1.1/Sun Nov 12 12:22:46 2000//
D/benchmarking////
/quicksort.pro/1.4/Thu Nov 16 10:30:08 2000//
