doc-src/TutorialI/Rules/Basic.thy
Mon, 09 Apr 2001 10:12:33 +0200 paulson extra display
less more (0) -1 tip