src/HOL/Library/comm_ring.ML
2006-01-19 ago setup: theory -> theory;
2005-09-20 ago added Commutative_Ring (from Main HOL);