Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-22 22:08:38 -0800 (Wed, 22 Jan 2003)
Revision: 4008
Log message:

      Something that actually compiles (I hope).
      

Changes  Path
+2 -1 metaprl/theories/itt/itt_record.ml