Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- minor performance tuning;
- tuned;
- more zproofs; clarified signature;
- misc tuning and clarification; eliminate clones (see also 3ae09d27ee7a);
- more zproofs;
- more operations;
- more operations;
- tuned;
- clarified signature;
- more zproofs;
- more ML pretty-printing;
- clarified const_proof vs. zproof_name;
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/zterm.ML |
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/zterm.ML |
The file was modified | src/HOL/Tools/choice_specification.ML |
The file was modified | src/Pure/Proof/proof_checker.ML |
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/type.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/zterm.ML |
The file was modified | src/Pure/zterm.ML |
The file was modified | src/Pure/General/same.ML |
The file was modified | src/Pure/proofterm.ML |
The file was modified | src/Pure/General/same.ML |
The file was modified | src/Pure/term_subst.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/zterm.ML |
The file was modified | src/Pure/Isar/proof_display.ML |
The file was modified | src/Pure/ML/ml_pp.ML |
The file was modified | src/Pure/thm.ML |
The file was modified | src/Pure/zterm.ML |