Summary
- getting rid of more "defer", etc.
- getting rid of "defer"
The file was modified | src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Fashoda_Theorem.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |