src/HOL/Algebra/Group.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.
2003-02-14 ballarin 2003-02-14 Product operator added --- preliminary.
2003-02-10 ballarin 2003-02-10 New development of algebra: Groups.