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 |