doc-src/TutorialI/Rules/Primes.thy
Thu, 26 Oct 2000 11:27:48 +0200 paulson added the $Id:$ line
Mon, 23 Oct 2000 17:37:20 +0200 paulson X-symbol
less more (0) tip