src/HOL/Old_Number_Theory/Factorization.thy
2016-03-01 haftmann 2016-03-01 tuned bootstrap order to provide type classes in a more sensible order
2015-10-10 wenzelm 2015-10-10 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-08-18 blanchet 2014-08-18 reordered some (co)datatype property names for more consistency
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory