Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-12-14 22:40:39 -0800 (Wed, 14 Dec 2005)
Revision: 8303
Log message:

      More on implementation of object theory

Changes  Path
+5 -0 metaprl/theories/itt/applications/objects/OMakefile
Added metaprl/theories/itt/applications/objects/itt_closed_intsect.ml
Added metaprl/theories/itt/applications/objects/itt_closed_intsect.mli
Added metaprl/theories/itt/applications/objects/itt_monotone_subtyping.ml
Added metaprl/theories/itt/applications/objects/itt_monotone_subtyping.mli
Added metaprl/theories/itt/applications/objects/itt_monotone_subtyping.prla
Added metaprl/theories/itt/applications/objects/itt_obj_base_closetype.ml
Added metaprl/theories/itt/applications/objects/itt_obj_base_closetype.mli
Added metaprl/theories/itt/applications/objects/itt_obj_base_exttype.ml
Added metaprl/theories/itt/applications/objects/itt_obj_base_exttype.mli
Added metaprl/theories/itt/applications/objects/itt_obj_base_typing.ml
Added metaprl/theories/itt/applications/objects/itt_union_of.ml
Added metaprl/theories/itt/applications/objects/itt_union_of.mli