src/HOL/Number_Theory/Eratosthenes.thy
changeset 82825 5e9c9f2c2cd8
parent 82774 2865a6618cba