doc-src/TutorialI/Misc/simp.thy
Mon, 11 Sep 2000 17:59:14 +0200 wenzelm dummy;
less more (0) tip