Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- A bit of cleaning up
- The same, without adding a new simprule
- moved some material from Sum_of_Powers
The file was modified | src/HOL/Nonstandard_Analysis/CLim.thy |
The file was modified | src/HOL/Nonstandard_Analysis/HSeries.thy |
The file was modified | src/HOL/Nonstandard_Analysis/HTranscendental.thy |
The file was modified | src/HOL/Nonstandard_Analysis/HyperDef.thy |
The file was modified | src/HOL/Nonstandard_Analysis/NSA.thy |
The file was modified | src/HOL/Binomial.thy |
The file was modified | src/HOL/Factorial.thy |
The file was modified | src/HOL/Nat.thy |
The file was modified | src/HOL/Binomial.thy |
The file was modified | src/HOL/Nat.thy |
The file was modified | src/HOL/Real.thy |
The file was modified | src/HOL/ex/Sum_of_Powers.thy |