Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-30 00:02:04 -0800 (Fri, 30 Jan 2004)
Revision: 5319
Log message:

      Changed anyArithRel2geT to use derived rules instead of tactics.
      

Changes  Path
+18 -44 metaprl/theories/itt/itt_int_arith.ml
+12059 -13103 metaprl/theories/itt/itt_int_arith.prla
+1 -0 metaprl/theories/itt/itt_int_ext.ml
+1 -0 metaprl/theories/itt/itt_int_ext.mli