Summary
- merged
- misc tuning and modernization;
- misc tuning and modernization;
- prefer HOL definitions;
- tuned proof;
- misc tuning and modernization;
The file was modified | src/HOL/Rat.thy (diff) |
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Rings.thy (diff) |
The file was modified | src/HOL/Fun.thy (diff) |
The file was modified | src/HOL/Fun.thy (diff) |
The file was modified | src/HOL/Fun.thy (diff) |
The file was modified | src/HOL/Lattices.thy (diff) |