Summary
- misc tuning and modernization;
- clarified reported positions;
- operate on proper binding; tuned;
- tuned;
The file was added | src/HOL/ex/Functions.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was removed | src/HOL/ex/Fundefs.thy |
The file was modified | src/HOL/Tools/Function/partial_function.ML (diff) |
The file was modified | src/HOL/Tools/Function/partial_function.ML (diff) |
The file was modified | src/HOL/Tools/Function/function.ML (diff) |