Summary
- misc tuning and modernization;
- isabelle update_cartouches -c -t;
- misc tuning and modernization;
The file was modified | src/HOL/Number_Theory/Pocklington.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/Number_Theory/Totient.thy (diff) |
The file was modified | src/HOL/Analysis/Improper_Integral.thy (diff) |
The file was modified | src/HOL/Analysis/Topology_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Winding_Numbers.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/ex/Classical.thy (diff) |