Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-22 21:34:26 -0700 (Wed, 22 Jul 1998)
Revision: 2346
Log message:

      Removed CVS $Log messages
      

Changes  Path
+0 -35 metaprl/refiner/refiner/refiner_ds_simp.ml
+0 -14 metaprl/refiner/refiner/refiner_ds_simp.mli
+0 -35 metaprl/refiner/refiner/refiner_std_simp.ml
+0 -13 metaprl/refiner/refiner/refiner_std_simp.mli
+0 -35 metaprl/refiner/refsig/term_simple_sig.mlz
+0 -8 metaprl/theories/base/base_auto_tactic.mli
+0 -11 metaprl/theories/czf/czf_itt_eq.mli
+0 -8 metaprl/theories/czf/czf_itt_eq_inner.ml
+0 -8 metaprl/theories/czf/czf_itt_eq_inner.mli
+0 -5 metaprl/theories/czf/czf_itt_rel.ml
+0 -5 metaprl/theories/czf/czf_itt_rel.mli
+0 -5 metaprl/theories/czf/czf_itt_res.ml
+0 -5 metaprl/theories/czf/czf_itt_res.mli
+0 -11 metaprl/theories/czf/czf_itt_small.mli
+0 -5 metaprl/theories/tactic/nltop.ml
+0 -5 metaprl/theories/tactic/nltop.mli