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 |