doc-src/TutorialI/Rules/Basic.thy
Mon, 22 Jan 2001 11:01:49 +0100 paulson rename_tac example; tidying to use @subgoals
less more (0) -1 tip