src/HOL/Library/comm_ring.ML
2009-05-25 wenzelm 2009-05-25 modernized method setup;
2009-04-29 haftmann 2009-04-29 farewell to class recpower
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2008-12-31 wenzelm 2008-12-31 moved old add_term_vars, add_term_frees etc. to structure OldTerm;
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2007-10-12 haftmann 2007-10-12 moved class power to theory Power
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-06-05 haftmann 2007-06-05 tuned integers
2007-05-17 haftmann 2007-05-17 canonical prefixing of class constants
2007-05-14 haftmann 2007-05-14 fixed IntInf ambiguity
2007-05-13 haftmann 2007-05-13 tuned
2006-11-29 wenzelm 2006-11-29 simplified method setup;
2006-09-26 haftmann 2006-09-26 renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
2006-09-19 wenzelm 2006-09-19 tuned method setup;
2006-03-10 haftmann 2006-03-10 renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2005-09-20 wenzelm 2005-09-20 added Commutative_Ring (from Main HOL);