| Fri, 12 May 2000 15:20:46 +0200 | paulson | new simprules needed because of new subtraction rewriting | changeset | files |
| Fri, 12 May 2000 15:18:55 +0200 | paulson | nat_diff_split' now called nat_diff_split | changeset | files |
| Fri, 12 May 2000 15:15:27 +0200 | paulson | deleted a lot of obsolete arithmetic lemmas | changeset | files |
| Fri, 12 May 2000 15:14:35 +0200 | paulson | tidied | changeset | files |
| Fri, 12 May 2000 15:14:08 +0200 | paulson | new simprules for nat_case and nat_rec | changeset | files |
| Fri, 12 May 2000 15:11:42 +0200 | paulson | tidying, especially to remove zcompare_rls from proofs | changeset | files |
| Fri, 12 May 2000 15:06:35 +0200 | paulson | a massive tidy-up | changeset | files |
| 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 |
| Wed, 10 May 2000 21:04:16 +0200 | wenzelm | base on IntArith instead of Int (in order to leave out deleted simproc!); | changeset | files |
| Wed, 10 May 2000 21:03:12 +0200 | wenzelm | dest_mss: sort procs wrt. names; | changeset | files |
| Wed, 10 May 2000 16:43:39 +0200 | wenzelm | FAKE_BUILD; | changeset | files |
| Wed, 10 May 2000 16:43:25 +0200 | wenzelm | polyml; | changeset | files |
| Wed, 10 May 2000 16:43:10 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 10 May 2000 13:36:27 +0200 | paulson | new default simprule for better compatibility with old setup | changeset | files |
| Wed, 10 May 2000 11:17:01 +0200 | paulson | tidied | changeset | files |
| Wed, 10 May 2000 01:13:43 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 09 May 2000 16:05:45 +0200 | wenzelm | use proper version of pdfsetup.sty; | changeset | files |
| Tue, 09 May 2000 16:05:30 +0200 | wenzelm | added semicolons; | changeset | files |
| Tue, 09 May 2000 15:10:25 +0200 | wenzelm | updated keywords; | changeset | files |
| Tue, 09 May 2000 14:33:43 +0200 | wenzelm | named "op ^" definitions; | changeset | files |
| Tue, 09 May 2000 14:16:32 +0200 | wenzelm | improved X-Symbol stuff; | changeset | files |
| Tue, 09 May 2000 11:29:13 +0200 | paulson | more examples | changeset | files |