/.camlinit/1.1/Mon Apr 28 15:51:51 1997//TCS101C
/.cvsignore/1.6/Tue Sep 25 16:52:39 2001//TCS101C
/.ispell_english/1.2/Wed Jan 31 22:44:24 2001//TCS101C
/Makefile/1.28/Thu May  8 07:48:39 2003//TCS101C
/base_rewrite.ml/1.28/Thu May  8 07:48:39 2003//TCS101C
/base_rewrite.mli/1.17/Thu May  8 07:48:39 2003//TCS101C
/base_rewrite.prla/1.5/Thu May  8 07:48:39 2003//TCS101C
/base_trivial.ml/1.9/Thu May  8 07:48:39 2003//TCS101C
/base_trivial.mli/1.2/Thu May  8 07:48:39 2003//TCS101C
/base_meta.ml/1.12/Thu May 15 07:58:34 2003//TCS101C
/base_meta.mli/1.8/Thu May 15 07:58:34 2003//TCS101C
/base_theory.mlz/1.25/Thu May 15 07:58:34 2003//TCS101C
D
