src/HOL/Computational_Algebra/Primes.thy
17 months ago haftmann 2017-12-02 overhauling of primes
17 months ago wenzelm 2017-11-26 more symbols;
18 months ago haftmann 2017-11-11 dedicated definition for coprimality
19 months ago haftmann 2017-10-09 tuned proofs
21 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-04-26 paulson 2017-04-26 Further new material. The simprule status of some exp and ln identities was reverted.
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 session containing computational algebra