Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-11 16:14:27 -0700 (Wed, 11 Jul 2001)
Revision: 3327
Log message:

      Finished fixing cfol proofs.
      

Changes	Path
+1642 -1725	metaprl/theories/fol/cfol_itt_and.prla
+5 -5	metaprl/theories/fol/cfol_itt_base.ml