doc-src/TutorialI/Rules/Primes.thy
changeset 25132 dffe405b090d
parent 22097 7ee0529c5674
child 25261 3dc292be0b54