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 |