Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-07-09 14:08:59 -0700 (Thu, 09 Jul 1998)
Revision: 2320
Log message:

      Upgraded czf.
      

Changes	Path
+7 -4	metaprl/editor/ml/y.ml
+32 -20	metaprl/refiner/refiner/rewrite.mlp
+4 -3	metaprl/theories/czf/Makefile
+3 -0	metaprl/theories/czf/czf_itt_all.ml
+61 -30	metaprl/theories/czf/czf_itt_and.ml
+41 -21	metaprl/theories/czf/czf_itt_and.mli
+3 -0	metaprl/theories/czf/czf_itt_axioms.ml
+60 -30	metaprl/theories/czf/czf_itt_dall.ml
+42 -18	metaprl/theories/czf/czf_itt_dall.mli
+3 -0	metaprl/theories/czf/czf_itt_dexists.ml
+5 -0	metaprl/theories/czf/czf_itt_empty.ml
+3 -0	metaprl/theories/czf/czf_itt_exists.ml
+6 -0	metaprl/theories/czf/czf_itt_false.ml
+1 -0	metaprl/theories/czf/czf_itt_false.mli
+137 -27	metaprl/theories/czf/czf_itt_implies.ml
+75 -8	metaprl/theories/czf/czf_itt_implies.mli
+7 -1	metaprl/theories/czf/czf_itt_or.ml
+2 -1	metaprl/theories/czf/czf_itt_or.mli
Added	metaprl/theories/czf/czf_itt_sep.ml
Properties	metaprl/theories/czf/czf_itt_sep.ml
Added	metaprl/theories/czf/czf_itt_sep.mli
Properties	metaprl/theories/czf/czf_itt_sep.mli
+21 -13	metaprl/theories/czf/czf_itt_set.ml
+13 -2	metaprl/theories/czf/czf_itt_set.mli
+35 -16	metaprl/theories/czf/czf_itt_small.ml
+13 -2	metaprl/theories/czf/czf_itt_small.mli
+5 -0	metaprl/theories/czf/czf_itt_true.ml
+25 -4	metaprl/theories/czf/czf_itt_union.ml
+17 -2	metaprl/theories/czf/czf_itt_union.mli
+3 -3	metaprl/theories/itt/itt_dprod.ml
+1 -1	metaprl/theories/itt/itt_dprod.mli
+1 -1	metaprl/theories/itt/itt_logic.ml
+7 -0	metaprl/theories/itt/itt_struct.ml
+1 -0	metaprl/theories/itt/itt_struct.mli
+1 -1	metaprl/theories/itt/itt_union.ml
+7 -1	metaprl/theories/tactic/rewrite_type.ml
+5 -0	metaprl/theories/tactic/sequent.ml
+1 -0	metaprl/theories/tactic/sequent.mli
+4 -2	metaprl/theories/tactic/tactic_type.ml