Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. minor performance tuning;
  2. tuned;
  3. more zproofs; clarified signature;
  4. misc tuning and clarification; eliminate clones (see also 3ae09d27ee7a);
  5. more zproofs;
  6. more operations;
  7. more operations;
  8. tuned;
  9. clarified signature;
  10. more zproofs;
  11. more ML pretty-printing;
  12. clarified const_proof vs. zproof_name;
Changeset 79137:4e738f2a97a8 by wenzelm:
minor performance tuning;
The file was modified src/Pure/proofterm.ML
Changeset 79136:bbef5d3ed56b by wenzelm:
tuned;
The file was modified src/Pure/zterm.ML
Changeset 79135:db2dc7634d62 by wenzelm:
more zproofs;<br>clarified signature;
The file was modified src/Pure/proofterm.ML
The file was modified src/Pure/thm.ML
The file was modified src/Pure/zterm.ML
Changeset 79134:5f0bbed1c606 by wenzelm:
misc tuning and clarification;<br>eliminate clones (see also 3ae09d27ee7a);
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
Changeset 79133:cfe995369655 by wenzelm:
more zproofs;
The file was modified src/Pure/thm.ML
The file was modified src/Pure/zterm.ML
Changeset 79132:6d3322477cfd by wenzelm:
more operations;
The file was modified src/Pure/zterm.ML
Changeset 79131:cd17a90523d4 by wenzelm:
more operations;
The file was modified src/Pure/General/same.ML
Changeset 79130:3ae09d27ee7a by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML
Changeset 79129:2933e71f4e09 by wenzelm:
clarified signature;
The file was modified src/Pure/General/same.ML
The file was modified src/Pure/term_subst.ML
Changeset 79128:b6f5d4392388 by wenzelm:
more zproofs;
The file was modified src/Pure/thm.ML
The file was modified src/Pure/zterm.ML
Changeset 79127:830f68f92ad7 by wenzelm:
more ML pretty-printing;
The file was modified src/Pure/Isar/proof_display.ML
The file was modified src/Pure/ML/ml_pp.ML
Changeset 79126:bdb33a2d4167 by wenzelm:
clarified const_proof vs. zproof_name;
The file was modified src/Pure/thm.ML
The file was modified src/Pure/zterm.ML