Summary
- merged
- more modernisaton and de-applying
The file was modified | src/HOL/Algebra/Complete_Lattice.thy (diff) |
The file was modified | src/HOL/Algebra/Divisibility.thy (diff) |
The file was modified | src/HOL/Algebra/Sylow.thy (diff) |
The file was modified | src/HOL/Algebra/Complete_Lattice.thy (diff) |
The file was modified | src/HOL/Algebra/Divisibility.thy (diff) |
The file was modified | src/HOL/Algebra/Sylow.thy (diff) |