/.cvsignore/1.5/Tue Sep 25 16:52:39 2001//TCS101C
/Conscript/1.5/Tue Jun 11 22:00:52 2002//TCS101C
/Makefile/1.15/Tue Feb 22 00:40:35 2000//TCS101C
/term_base_std.ml/1.10/Wed Mar 19 06:36:01 2003//TCS101C
/term_base_std.mli/1.1/Sun Jan 31 21:41:54 1999//TCS101C
/term_eval_std.ml/1.7/Tue Jun 22 20:33:49 1999//TCS101C
/term_eval_std.mli/1.3/Sun Jan 31 21:41:58 1999//TCS101C
/term_op_std.ml/1.16/Sat Mar 29 23:15:05 2003//TCS101C
/term_op_std.mli/1.3/Sun Jan 31 21:42:02 1999//TCS101C
/term_std.ml/1.29/Fri Mar 21 12:25:08 2003//TCS101C
/term_std.mli/1.11/Tue Oct 13 01:09:12 1998//TCS101C
/term_std_sig.mlz/1.19/Fri Mar 21 12:25:08 2003//TCS101C
/term_subst_std.ml/1.33/Thu Mar 20 08:54:48 2003//TCS101C
/term_subst_std.mli/1.4/Fri Jan 10 03:07:26 2003//TCS101C
/Files/1.6/Mon Apr 21 12:53:30 2003//TCS101C
D
