src/HOL/Decision_Procs/Commutative_Ring_Complete.thy
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