doc-src/TutorialI/Rules/Primes.thy
changeset 33952 5e9ddf000d97
parent 33750 0a0d6d79d984
child 35416 d8d7d1b785af