doc-src/TutorialI/Rules/Primes.thy
Mon, 23 Oct 2000 17:37:20 +0200 paulson X-symbol
Mon, 23 Oct 2000 16:25:04 +0200 paulson the Rules chapter and theories
less more (0) tip