doc-src/TutorialI/Rules/Primes.thy
changeset 36648 43b66dcd9266
parent 35416 d8d7d1b785af
child 36745 403585a89772