doc-src/TutorialI/Rules/Primes.thy
changeset 10996 74e970389def
parent 10986 616bcfc7b848
child 11080 22855d091249