doc-src/TutorialI/Rules/Primes.thy
changeset 46631 2c5c003cee35
parent 38767 d8da44a8dd25
child 48611 b34ff75c23a7