src/HOL/Library/comm_ring.ML
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);