Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more realistic factor;
- proper trim_context;
- proper exception positions;
- proper trim_context / transfer, e.g. for Specification.definition;
- tuned;
- tuned;
- tuned signature: more operations;
- minor performance tuning: avoid append to end-of-list;
The file was modified | NEWS |
The file was modified | src/Pure/Isar/code.ML |
The file was modified | src/Pure/Isar/code.ML |
The file was modified | src/Pure/assumption.ML |
The file was modified | src/Pure/assumption.ML |
The file was modified | src/Pure/drule.ML |
The file was modified | src/Pure/more_thm.ML |
The file was modified | src/Pure/raw_simplifier.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/assumption.ML |