Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-06 05:13:06 -0800 (Tue, 06 Mar 2001)
Revision: 3174
Log message:

      primitive lt_squashElimination is added
      

Changes  Path
+15 -0 metaprl/theories/itt/itt_int_base.ml
+3 -0 metaprl/theories/itt/itt_int_base.mli