| Fri, 12 May 2000 15:05:02 +0200 | paulson | NatSimprocs is now a theory, not a file | changeset | files |
| Fri, 12 May 2000 15:02:57 +0200 | paulson | new theorem one_le_power | changeset | files |
| Fri, 12 May 2000 15:00:45 +0200 | paulson | tidied | changeset | files |
| Fri, 12 May 2000 14:59:12 +0200 | paulson | deleted some redundant simprules | changeset | files |
| Fri, 12 May 2000 14:57:28 +0200 | paulson | new dummy theory; prevents strange errors when loading NatSimprocs.ML | changeset | files |
| Fri, 12 May 2000 11:52:44 +0200 | wenzelm | improved name of simproc; | changeset | files |
| Wed, 10 May 2000 22:34:30 +0200 | wenzelm | fixed theory deps; | changeset | files |