Sun, 23 Apr 2000 11:39:32 +0200 | paulson | this change saves 15 seconds | changeset | files |
Sun, 23 Apr 2000 11:35:00 +0200 | paulson | bug fixes to new simprocs | changeset | files |
Sun, 23 Apr 2000 11:34:41 +0200 | paulson | [Int_CC.sum_conv, Int_CC.rel_conv] no longer exist | changeset | files |
Sun, 23 Apr 2000 11:34:05 +0200 | paulson | removed some duplication, etc. | changeset | files |
Sun, 23 Apr 2000 11:33:41 +0200 | paulson | now uses the new cancel_numerals simproc | changeset | files |
Fri, 21 Apr 2000 11:36:00 +0200 | paulson | Provers/Arith/inverse_fold.ML is already obsolete | changeset | files |
Fri, 21 Apr 2000 11:31:38 +0200 | paulson | cleaner exceptions | changeset | files |