Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-12-15 12:09:33 -0800 (Thu, 15 Dec 2005)
Revision: 8305
Log message:
This file was commited by mistake
Changes | Path |
Deleted | metaprl/theories/itt/applications/objects/itt_obj_base_typing.ml |