Summary
- merged
- Algebra tidy-up
- added simp rule
- more simp
- moved lemmas from AFP
The file was modified | src/HOL/Algebra/FiniteProduct.thy (diff) |
The file was modified | src/HOL/Algebra/Group.thy (diff) |
The file was modified | src/HOL/Algebra/Ideal.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/Product_Type.thy (diff) |
The file was modified | src/HOL/Transitive_Closure.thy (diff) |
The file was modified | src/HOL/Relation.thy (diff) |
The file was modified | src/HOL/Transitive_Closure.thy (diff) |