| Thu, 23 May 2002 17:05:21 +0200 | paulson | new definition of "apply" and new simprule "beta_if" | file | diff | annotate |
| Fri, 17 May 2002 16:47:24 +0200 | paulson | deleting the obsolete theorem lt_succ_iff | file | diff | annotate |
| Wed, 15 May 2002 10:42:32 +0200 | paulson | better simplification of trivial existential equalities | file | diff | annotate |
| Mon, 13 May 2002 13:22:01 +0200 | paulson | Deleting two simprules saves 21 seconds! | file | diff | annotate |
| Mon, 21 Jan 2002 14:47:55 +0100 | paulson | new simprules and classical rules | file | diff | annotate |
| Thu, 17 Jan 2002 12:45:52 +0100 | paulson | new definitions from Sidi Ehmety | file | diff | annotate |
| Thu, 15 Feb 2001 17:18:54 +0100 | wenzelm | eliminate get_def; | file | diff | annotate |