doc-src/TutorialI/Rules/Forward.thy
Mon, 08 Oct 2001 14:29:02 +0200 wenzelm fixed numerals;
Wed, 08 Aug 2001 14:50:28 +0200 paulson Getting it working again with 1' instead of 1
Wed, 11 Jul 2001 14:00:48 +0200 paulson tweaks for new version
Mon, 22 Jan 2001 11:02:53 +0100 paulson arg_cong example; tidying to use @subgoals
less more (0) -4 tip