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

      FOL theory is now complete.
      

Changes	Path
+1 -0	metaprl/theories/fol/fol_prop.ml
+3197 -3216	metaprl/theories/fol/fol_prop.prla
+5 -2	metaprl/theories/fol/fol_struct.ml
+1 -1	metaprl/theories/itt/itt_squash.ml
+0 -12	metaprl/theories/itt/itt_struct.ml
+0 -1	metaprl/theories/itt/itt_struct.mli
+14 -0	metaprl/theories/tactic/top_tacticals.ml
+1 -0	metaprl/theories/tactic/top_tacticals.mli