doc-src/TutorialI/Rules/Primes.thy
changeset 41064 0c447a17770a
parent 38767 d8da44a8dd25
child 48611 b34ff75c23a7