src/HOL/Old_Number_Theory/Chinese.thy
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-06-11 Thomas Sewell 2014-06-11 Hypsubst preserves equality hypotheses Fixes included for various theories affected by this change.
2014-04-12 nipkow 2014-04-12 made mult_pos_pos a simp rule
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2011-09-06 huffman 2011-09-06 avoid using legacy theorem names
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory