Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-12 04:48:10 -0700 (Mon, 12 May 2003)
Revision: 4588
Log message:

      Cleaned up a few more theories.
      

Changes	Path
+2 -2	metaprl/theories/czf/czf_itt_empty.ml
+2 -2	metaprl/theories/czf/czf_itt_fol.mlz
+1 -1	metaprl/theories/czf/czf_itt_set.ml
+0 -3	metaprl/theories/itt/itt_comment.ml
+0 -1	metaprl/theories/itt/itt_comment.mli
+2 -2	metaprl/theories/itt/itt_group.ml
+1 -1	metaprl/theories/itt/itt_int_arith.ml
+1 -1	metaprl/theories/itt/itt_int_base.ml
+2 -2	metaprl/theories/itt/itt_int_ext.ml
+7 -10	metaprl/theories/itt/itt_isect.ml
+3 -3	metaprl/theories/itt/itt_logic.ml
+18 -19	metaprl/theories/itt/itt_set.ml
+1496 -1559	metaprl/theories/itt/itt_set.prla
+26 -30	metaprl/theories/itt/itt_squiggle.ml
+2435 -2955	metaprl/theories/itt/itt_squiggle.prla
+1 -1	metaprl/theories/itt/itt_tunion.ml
+17 -20	metaprl/theories/itt/itt_unit.ml
+1370 -1407	metaprl/theories/itt/itt_unit.prla
+14 -15	metaprl/theories/itt/itt_void.ml
+1115 -1210	metaprl/theories/itt/itt_void.prla