Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-14 18:03:18 -0700 (Thu, 14 Jun 2001)
Revision: 3266
Log message:

      Start writing documentation for records.
      

Changes  Path
+144 -32 metaprl/theories/itt/itt_record_exm.ml
+3480 -1319 metaprl/theories/itt/itt_record_exm.prla
+5 -1 metaprl/theories/itt/itt_record_label.ml