Summary
- misc tuning and modernization;
The file was modified | src/HOL/Algebra/More_Finite_Product.thy (diff) |
The file was modified | src/HOL/Algebra/More_Group.thy (diff) |
The file was modified | src/HOL/Algebra/More_Ring.thy (diff) |
The file was modified | src/HOL/Algebra/More_Finite_Product.thy (diff) |
The file was modified | src/HOL/Algebra/More_Group.thy (diff) |
The file was modified | src/HOL/Algebra/More_Ring.thy (diff) |