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