src/HOL/Number_Theory/Eratosthenes.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Thu, 06 Apr 2017 21:37:13 +0200 haftmann session containing computational algebra
Sun, 16 Oct 2016 09:31:05 +0200 haftmann eliminated irregular aliasses
Mon, 08 Aug 2016 17:47:51 +0200 eberlm is_prime -> prime
Thu, 21 Jul 2016 10:06:04 +0200 eberlm Overhaul of prime/multiplicity/prime_factors
Mon, 25 Apr 2016 16:09:26 +0200 wenzelm eliminated old 'def';
Wed, 17 Feb 2016 21:51:57 +0100 haftmann cleansed junk-producing interpretations for gcd/lcm on nat altogether
Tue, 01 Dec 2015 14:09:10 +0000 paulson Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material.
Sun, 13 Sep 2015 20:20:16 +0200 wenzelm renamed method "goals" to "goal_cases" to emphasize its meaning;
Fri, 26 Jun 2015 00:14:10 +0200 wenzelm tuned proofs;
Fri, 19 Jun 2015 23:40:46 +0200 wenzelm tuned proofs;
Fri, 19 Jun 2015 21:41:33 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sun, 12 Oct 2014 17:05:34 +0200 haftmann generalized and consolidated some theorems concerning divisibility
Fri, 04 Jul 2014 20:18:47 +0200 haftmann reduced name variants for assoc and commute on plus and mult
Wed, 05 Feb 2014 17:06:11 +0000 paulson Number_Theory no longer introduces One_nat_def as a simprule. Tidied some proofs.
Fri, 24 Jan 2014 15:21:00 +0000 paulson Restored Suc rather than +1, and using Library/Binimial
Thu, 31 Oct 2013 11:44:20 +0100 haftmann generalised lemma
Sat, 15 Jun 2013 17:19:23 +0200 haftmann selection operator smallest_prime_beyond
Sun, 17 Feb 2013 21:29:30 +0100 haftmann Sieve of Eratosthenes
less more (0) tip