Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-12-03 18:49:30 -0800 (Mon, 03 Dec 2001)
Revision: 3459
Log message:

      I define the Stack type as an example of
      data structure defined with records.
      

Changes	Path
+25 -0	metaprl/theories/itt/itt_record_exm.ml
+3502 -2496	metaprl/theories/itt/itt_record_exm.prla