doc-src/TutorialI/Rules/Primes.thy
changeset 28972 cb8a2c3e188f
parent 27657 0efc8b68ee4a
child 33750 0a0d6d79d984
equal deleted inserted replaced
28971:300ec36a19af 28972:cb8a2c3e188f