doc-src/TutorialI/Rules/Primes.thy
changeset 27690 24738db98d34
parent 27657 0efc8b68ee4a
child 33750 0a0d6d79d984