doc-src/TutorialI/Rules/Primes.thy
changeset 23363 9981199bf865
parent 22097 7ee0529c5674
child 25261 3dc292be0b54
equal deleted inserted replaced
23362:de1476695aa6 23363:9981199bf865