Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-06 16:35:50 -0700 (Fri, 06 May 2005)
Revision: 7253
Log message:

      Removing itt_eq_base - this idea did not work out.
      

Changes	Path
+0 -2	metaprl/theories/itt/OMakefile
Deleted	metaprl/theories/itt/itt_eq_base.ml
Deleted	metaprl/theories/itt/itt_eq_base.mli
Deleted	metaprl/theories/itt/itt_eq_base.prla