src/HOL/Algebra/ringsimp.ML
2003-03-10 ballarin 2003-03-10 First distributed version of Group and Ring theory.