src/HOL/Algebra/CRing.thy
2003-03-10 ballarin 2003-03-10 First distributed version of Group and Ring theory.
2003-02-27 ballarin 2003-02-27 Change to meta simplifier: congruence rules may now have frees as head of term.