Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-12-15 15:12:10 -0800 (Thu, 15 Dec 2005)
Revision: 8307
Log message:
More on objects
| Changes | Path |
| +7 -0 | metaprl/theories/itt/applications/objects/itt_obj_base_closetype.ml |
| +5 -0 | metaprl/theories/itt/applications/objects/itt_obj_base_rewrite.mli |