src/HOL/Decision_Procs/Commutative_Ring_Complete.thy
2017-01-29 berghofe 2017-01-29 Added new / improved tactics for fields and rings
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-07-22 wenzelm 2015-07-22 tuned proofs;
2015-07-09 wenzelm 2015-07-09 tuned proofs;
2015-06-24 wenzelm 2015-06-24 tuned proofs -- less digits;
2015-06-20 wenzelm 2015-06-20 tuned proofs;
2015-06-20 wenzelm 2015-06-20 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-20 haftmann 2014-10-20 avoid unsafe simp rules
2014-10-20 haftmann 2014-10-20 augmented and tuned facts on even/odd and division
2014-09-09 blanchet 2014-09-09 ported Decision_Procs to new datatypes
2014-02-27 wenzelm 2014-02-27 tuned whitespace; tuned proofs;
2014-02-25 wenzelm 2014-02-25 tuned specifications and proofs;
2013-09-03 wenzelm 2013-09-03 tuned proofs -- clarified flow of facts wrt. calculation;
2011-09-07 wenzelm 2011-09-07 tuned proofs;
2011-02-21 wenzelm 2011-02-21 tuned proofs -- eliminated prems;
2009-10-30 haftmann 2009-10-30 moved Commutative_Ring into session Decision_Procs