doc-src/TutorialI/Rules/Primes.thy
changeset 44348 40101794c52f
parent 38767 d8da44a8dd25
child 48611 b34ff75c23a7