Summary
- misc tuning and modernization;
- clarified imports;
- simplified theory structure;
- misc tuning and modernization;
The file was modified | src/HOL/Order_Relation.thy (diff) |
The file was modified | src/HOL/Wellfounded.thy (diff) |
The file was modified | src/HOL/Wfrec.thy (diff) |
The file was modified | src/HOL/Zorn.thy (diff) |
The file was modified | src/HOL/Complex_Main.thy (diff) |
The file was modified | src/HOL/Complex_Main.thy (diff) |
The file was modified | src/HOL/Decision_Procs/Approximation.thy (diff) |
The file was modified | src/HOL/MacLaurin.thy (diff) |
The file was removed | src/HOL/Taylor.thy |
The file was modified | src/HOL/Complex.thy (diff) |
The file was modified | src/HOL/MacLaurin.thy (diff) |
The file was modified | src/HOL/Taylor.thy (diff) |