Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2002-04-29 17:41:41 -0700 (Mon, 29 Apr 2002)
Revision: 3593
Log message:

      Change the documentation in czf_fol again (union -> +).
      Also change the documentation for records.
      

Changes	Path
+1 -1	metaprl/theories/czf/czf_itt_fol.mlz
+0 -1	metaprl/theories/itt/itt_record_exm.ml