Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-09-28 17:17:03 -0700 (Mon, 28 Sep 1998)
Revision: 2476
Log message:

      I forgot to add the FOL theory.  Sorry about that.
      

Changes	Path
Properties	metaprl/theories/fol
Added	metaprl/theories/fol/Makefile
Properties	metaprl/theories/fol/Makefile
Added	metaprl/theories/fol/fol_all.ml
Properties	metaprl/theories/fol/fol_all.ml
Added	metaprl/theories/fol/fol_all.mli
Properties	metaprl/theories/fol/fol_all.mli
Added	metaprl/theories/fol/fol_and.ml
Properties	metaprl/theories/fol/fol_and.ml
Added	metaprl/theories/fol/fol_and.mli
Properties	metaprl/theories/fol/fol_and.mli
Added	metaprl/theories/fol/fol_class.ml
Properties	metaprl/theories/fol/fol_class.ml
Added	metaprl/theories/fol/fol_class.mli
Properties	metaprl/theories/fol/fol_class.mli
Added	metaprl/theories/fol/fol_ctheory.ml
Properties	metaprl/theories/fol/fol_ctheory.ml
Added	metaprl/theories/fol/fol_ctheory.mli
Properties	metaprl/theories/fol/fol_ctheory.mli
Added	metaprl/theories/fol/fol_exists.ml
Properties	metaprl/theories/fol/fol_exists.ml
Added	metaprl/theories/fol/fol_exists.mli
Properties	metaprl/theories/fol/fol_exists.mli
Added	metaprl/theories/fol/fol_false.ml
Properties	metaprl/theories/fol/fol_false.ml
Added	metaprl/theories/fol/fol_false.mli
Properties	metaprl/theories/fol/fol_false.mli
Added	metaprl/theories/fol/fol_implies.ml
Properties	metaprl/theories/fol/fol_implies.ml
Added	metaprl/theories/fol/fol_implies.mli
Properties	metaprl/theories/fol/fol_implies.mli
Added	metaprl/theories/fol/fol_not.ml
Properties	metaprl/theories/fol/fol_not.ml
Added	metaprl/theories/fol/fol_not.mli
Properties	metaprl/theories/fol/fol_not.mli
Binary	metaprl/theories/fol/fol_not.prlb
Properties	metaprl/theories/fol/fol_not.prlb
Added	metaprl/theories/fol/fol_or.ml
Properties	metaprl/theories/fol/fol_or.ml
Added	metaprl/theories/fol/fol_or.mli
Properties	metaprl/theories/fol/fol_or.mli
Added	metaprl/theories/fol/fol_struct.ml
Properties	metaprl/theories/fol/fol_struct.ml
Added	metaprl/theories/fol/fol_struct.mli
Properties	metaprl/theories/fol/fol_struct.mli
Added	metaprl/theories/fol/fol_theory.mlz
Properties	metaprl/theories/fol/fol_theory.mlz
Added	metaprl/theories/fol/fol_true.ml
Properties	metaprl/theories/fol/fol_true.ml
Added	metaprl/theories/fol/fol_true.mli
Properties	metaprl/theories/fol/fol_true.mli
Added	metaprl/theories/fol/fol_type.ml
Properties	metaprl/theories/fol/fol_type.ml
Added	metaprl/theories/fol/fol_type.mli
Properties	metaprl/theories/fol/fol_type.mli
Added	metaprl/theories/fol/fol_univ.ml
Properties	metaprl/theories/fol/fol_univ.ml
Added	metaprl/theories/fol/fol_univ.mli
Properties	metaprl/theories/fol/fol_univ.mli