/.cvsignore/1.1/Fri May  2 04:32:40 2003//TCS101C
/Makefile/1.2/Fri May  2 04:54:25 2003//TCS101C
/base_cache.ml/1.1/Fri May  2 04:54:25 2003//TCS101C
/base_cache.mli/1.1/Fri May  2 04:54:25 2003//TCS101C
/tactic_cache.ml/1.1/Fri May  2 04:32:40 2003//TCS101C
/tactic_cache.mli/1.1/Fri May  2 04:32:40 2003//TCS101C
/typeinf.ml/1.2/Thu May  8 00:52:35 2003//TCS101C
/typeinf.mli/1.2/Thu May  8 00:52:35 2003//TCS101C
/var.ml/1.2/Sun May  4 03:32:29 2003//TCS101C
/var.mli/1.1/Fri May  2 04:32:40 2003//TCS101C
/OMakefile/1.2/Thu May 15 07:58:34 2003//TCS101C
/auto_tactic.ml/1.3/Thu May 15 07:58:34 2003//TCS101C
/auto_tactic.mli/1.2/Thu May 15 07:58:34 2003//TCS101C
/top_conversionals.ml/1.3/Thu May 15 07:58:34 2003//TCS101C
/top_conversionals.mli/1.2/Thu May 15 07:58:34 2003//TCS101C
/top_tacticals.ml/1.3/Thu May 15 07:58:34 2003//TCS101C
/top_tacticals.mli/1.2/Thu May 15 07:58:34 2003//TCS101C
/dtactic.ml/1.6/Fri May 30 05:08:17 2003//TCS101C
/dtactic.mli/1.4/Fri May 30 05:08:17 2003//TCS101C
D
