Summary
- merged
- de-applying and simplifying proofs
The file was modified | src/HOL/Deriv.thy (diff) |
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HDeriv.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/HSeries.thy (diff) |