/Conscript/1.5/Tue Jun 11 22:00:51 2002//TCS101C
/Makefile/1.14/Wed Mar 19 06:36:00 2003//TCS101C
/refine_error.h/1.6/Fri Mar 19 06:18:43 1999//TCS101C
/refine_error.mlh/1.1/Fri Jun 18 00:45:38 1999//TCS101C
/refine_error_sig.mlz/1.9/Tue Feb 25 19:02:16 2003//TCS101C
/refine_minimal_sig.mlz/1.1/Wed Jun 23 04:49:08 1999//TCS101C
/refiner_sig.mlz/1.18/Fri Mar 21 12:25:06 2003//TCS101C
/rewrite_sig.mlz/1.19/Sun Mar 23 15:02:31 2003//TCS101C
/term_addr_sig.mlz/1.21/Fri Mar 21 12:25:06 2003//TCS101C
/term_base_minimal_sig.mlz/1.3/Sat Jun 26 01:55:03 1999//TCS101C
/term_base_sig.mlz/1.13/Wed Mar 19 06:36:00 2003//TCS101C
/term_eval_sig.mlz/1.4/Tue Oct 13 01:07:52 1998//TCS101C
/term_hash_sig.mlz/1.10/Fri Mar 21 12:25:06 2003//TCS101C
/term_man_minimal_sig.mlz/1.2/Fri Mar 21 12:25:06 2003//TCS101C
/term_man_sig.mlz/1.23/Fri Mar 21 12:25:06 2003//TCS101C
/term_meta_sig.mlz/1.9/Wed Jun 23 04:49:09 1999//TCS101C
/term_norm_sig.mlz/1.4/Wed Jun 23 04:49:09 1999//TCS101C
/term_op_sig.mlz/1.17/Sat Mar 29 23:15:05 2003//TCS101C
/term_shape_sig.mlz/1.7/Tue May  8 19:50:27 2001//TCS101C
/term_sig.mlz/1.6/Fri Mar 21 12:25:06 2003//TCS101C
/term_subst_minimal_sig.mlz/1.2/Fri Mar 21 12:25:06 2003//TCS101C
/term_subst_sig.mlz/1.27/Thu Mar 20 03:33:41 2003//TCS101C
/termmod_hash_sig.mlz/1.6/Fri Mar 21 12:25:06 2003//TCS101C
/termmod_sig.mlz/1.5/Fri Mar 21 12:25:06 2003//TCS101C
/Files/1.11/Mon Apr 21 12:53:29 2003//TCS101C
/refine_sig.mlz/1.30/Wed Apr 30 22:33:17 2003//TCS101C
/.cvsignore/1.7/Thu May  8 07:48:37 2003//TCS101C
D
