src/HOL/Number_Theory/Fib.thy
19 months ago haftmann 2017-11-11 dedicated definition for coprimality
2017-04-05 wenzelm 2017-04-05 misc tuning and modernization;
2016-10-20 eberlm 2016-10-20 More on Fibonacci numbers
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-26 Manuel Eberl 2016-02-26 Tuned Euclidean Rings/GCD rings
2016-02-17 haftmann 2016-02-17 dropped various legacy fact bindings
2015-11-13 paulson 2015-11-13 Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes.
2015-07-08 haftmann 2015-07-08 avoid explicit definition of the relation of associated elements in a ring -- prefer explicit normalization instead
2015-06-19 wenzelm 2015-06-19 tuned proofs;
2015-06-19 wenzelm 2015-06-19 isabelle update_cartouches;
2015-04-21 paulson 2015-04-21 New material, mostly about limits. Consolidation.
2015-03-10 paulson 2015-03-10 Removal of the file HOL/Number_Theory/Binomial!! And class field_char_0 now declared in Int.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2013-12-11 paulson 2013-12-11 Fib: Who needs the int version?
2013-08-18 wenzelm 2013-08-18 more symbols;
2011-09-10 wenzelm 2011-09-10 misc tuning;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-01-13 wenzelm 2011-01-13 eliminated global prems; tuned proofs;
2010-04-26 haftmann 2010-04-26 dropped group_simps, ring_simps, field_eq_simps
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
2009-09-01 haftmann 2009-09-01 some reorganization of number theory