Skip to content
Success

Changes

Summary

  1. tuned source structure;
  2. clarified signature; minor performance tuning;
  3. tuned;
  4. minor performance tuning; eliminate clones;
  5. minor performance tuning;
  6. minor performance tuning;
  7. minor performance tuning;
  8. minor performance tuning;
  9. minor performance tuning;
  10. minor performance tuning;
  11. tuned;
  12. tuned signature;
  13. tuned signature;
Changeset 79442:a7241e5db601 by wenzelm:
tuned source structure;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 79441:eb142693255f by wenzelm:
clarified signature;<br>minor performance tuning;
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
The file was modified src/Pure/Proof/proof_syntax.ML (diff)
The file was modified src/Pure/proofterm.ML (diff)
Changeset 79440:ae67c934887f by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/term.ML (diff)
Changeset 79439:739b1703866e by wenzelm:
minor performance tuning;<br>eliminate clones;
The file was modified src/HOL/Tools/Nunchaku/nunchaku_collect.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_util.ML (diff)
The file was modified src/HOL/Tools/inductive_realizer.ML (diff)
The file was modified src/Pure/Isar/class.ML (diff)
The file was modified src/Pure/term.ML (diff)
Changeset 79438:032ca41f590a by wenzelm:
minor performance tuning;
The file was modified src/Pure/Isar/class.ML (diff)
The file was modified src/Pure/Isar/class_declaration.ML (diff)
The file was modified src/Pure/Isar/overloading.ML (diff)
The file was modified src/Pure/axclass.ML (diff)
Changeset 79437:848073637388 by wenzelm:
minor performance tuning;
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 79436:253d86888e84 by wenzelm:
minor performance tuning;
The file was modified src/Pure/more_thm.ML (diff)
Changeset 79435:e83f5e3813b1 by wenzelm:
minor performance tuning;
The file was modified src/Pure/Isar/generic_target.ML (diff)
Changeset 79434:6f2c3e4c97d7 by wenzelm:
minor performance tuning;
The file was modified src/Pure/more_unify.ML (diff)
Changeset 79433:88341f610b33 by wenzelm:
minor performance tuning;
The file was modified src/Pure/type_infer.ML (diff)
The file was modified src/Pure/type_infer_context.ML (diff)
Changeset 79432:af4f6b82719f by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 79431:236d866ead4e by wenzelm:
tuned signature;
The file was modified src/Pure/thm.ML (diff)
Changeset 79430:2e834ee3b348 by wenzelm:
tuned signature;
The file was modified src/Pure/thm.ML (diff)