Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-09 23:55:35 -0800 (Fri, 09 Jan 2004)
Revision: 5241
Log message:

      Itt_bool - boolMoveToConcl moves from assert to assert.
      Itt_order.mli - almost nothing was exposed
      Itt_rat - first steps based on itt_field and itt_order.
      

Changes  Path
+1 -1 metaprl/theories/itt/OMakefile
+5 -0 metaprl/theories/itt/itt_bool.ml
+468 -377 metaprl/theories/itt/itt_bool.prla
+32 -0 metaprl/theories/itt/itt_order.mli
+66 -349 metaprl/theories/itt/itt_rat.ml
+2 -358 metaprl/theories/itt/itt_rat.mli
Added metaprl/theories/itt/itt_rat.prla
Properties metaprl/theories/itt/itt_rat.prla