Summary
- Tidied some messy proofs
- Updated some archaic proofs
The file was modified | src/HOL/Algebra/Group.thy (diff) |
The file was modified | src/HOL/Algebra/Sylow.thy (diff) |
The file was modified | src/HOL/ex/Set_Theory.thy (diff) |
The file was modified | src/HOL/Algebra/Group.thy (diff) |
The file was modified | src/HOL/Algebra/Sylow.thy (diff) |
The file was modified | src/HOL/ex/Set_Theory.thy (diff) |