src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy
2016-08-08 eberlm 2016-08-08 is_prime -> prime
2016-07-22 eberlm 2016-07-22 Removed redundant material related to primes
2016-07-21 eberlm 2016-07-21 Overhaul of prime/multiplicity/prime_factors
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;