Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-28 02:17:28 -0800 (Wed, 28 Jan 2004)
Revision: 5299
Log message:

      A bit more progress in the eq_base theory.
      

Changes	Path
+5 -5	metaprl/theories/itt/Makefile
+4 -4	metaprl/theories/itt/OMakefile
+27 -2	metaprl/theories/itt/itt_eq_base.ml
+961 -234	metaprl/theories/itt/itt_eq_base.prla