Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-07-22 09:07:16 -0700 (Mon, 22 Jul 2002)
Revision: 3741
Log message:

      Added a theory on uniqueness of a type with a given equality relation.
      

Changes	Path
+1 -0	metaprl/theories/itt/Makefile
Added	metaprl/theories/itt/itt_antiquotient.ml
Properties	metaprl/theories/itt/itt_antiquotient.ml
Added	metaprl/theories/itt/itt_antiquotient.mli
Properties	metaprl/theories/itt/itt_antiquotient.mli
Added	metaprl/theories/itt/itt_antiquotient.prla
Properties	metaprl/theories/itt/itt_antiquotient.prla