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 |