Summary
- tuned proof;
- misc tuning and modernization;
The file was modified | src/HOL/Complete_Lattices.thy (diff) |
The file was modified | src/HOL/Complete_Lattices.thy (diff) |
The file was modified | src/HOL/Fun.thy (diff) |
The file was modified | src/HOL/HOL.thy (diff) |
The file was modified | src/HOL/Product_Type.thy (diff) |
The file was modified | src/HOL/Sum_Type.thy (diff) |