Summary
- misc tuning and modernization;
- tuned whitespace;
The file was modified | src/HOL/Nonstandard_Analysis/CStar.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HDeriv.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HLim.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HLog.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HSEQ.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HSeries.thy (diff) |
The file was modified | NEWS (diff) |