| 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 |