src/HOL/Number_Theory/Cong.thy
2015-06-19 wenzelm 2015-06-19 isabelle update_cartouches;
2015-03-23 haftmann 2015-03-23 distributivity of partial minus establishes desired properties of dvd in semirings
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-17 haftmann 2014-11-17 generalized lemmas and tuned proofs
2014-11-07 wenzelm 2014-11-07 tuned syntax -- separate tokens;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-10-07 wenzelm 2014-10-07 more bibtex entries; more antiquotations;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-06-28 haftmann 2014-06-28 fact consolidation
2014-02-09 paulson 2014-02-09 tidied messy proofs
2014-02-05 paulson 2014-02-05 Number_Theory no longer introduces One_nat_def as a simprule. Tidied some proofs.
2014-02-04 paulson 2014-02-04 Restoration of Pocklington.thy. Tidying.
2014-02-02 paulson 2014-02-02 Number_Theory: prime is no longer overloaded, but only for nat. Automatic coercion to int enabled.
2014-01-29 paulson 2014-01-29 minor adjustments
2014-01-24 paulson 2014-01-24 Restored Suc rather than +1, and using Library/Binimial
2013-11-19 haftmann 2013-11-19 eliminiated neg_numeral in favour of - (numeral _)
2013-11-01 haftmann 2013-11-01 more simplification rules on unary and binary minus
2012-03-27 huffman 2012-03-27 remove redundant lemma
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-06-02 haftmann 2010-06-02 avoid duplicate import
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-11-16 webertj 2009-11-16 Fixed a typo in a comment.
2009-09-01 haftmann 2009-09-01 some reorganization of number theory