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