| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Wed, 05 Dec 2001 15:36:36 +0100 | wenzelm | adapted intr/elim uses; | file | diff | annotate |
| Mon, 08 Oct 2001 14:29:02 +0200 | wenzelm | fixed numerals; | file | diff | annotate |
| Wed, 11 Jul 2001 14:00:48 +0200 | paulson | tweaks for new version | file | diff | annotate |
| Mon, 29 Jan 2001 10:28:00 +0100 | paulson | fixed the pr example | file | diff | annotate |
| Tue, 23 Jan 2001 15:46:25 +0100 | paulson | added a "pr" example; tidied | file | diff | annotate |
| Mon, 22 Jan 2001 11:01:05 +0100 | paulson | new examples theory Rules/Tacticals.thy | file | diff | annotate |