Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-02-17 08:34:24 -0800 (Wed, 17 Feb 1999)
Revision: 2595
Log message:

      Re-added compilation of all fol files.
      

Changes	Path
+1 -2	metaprl/theories/fol/Makefile
+0 -4	metaprl/theories/fol/fol_type.ml
+0 -2	metaprl/theories/fol/fol_type.mli