Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified order, disregard structure of proof;
  2. minor performance tuning;
  3. tuned;
  4. more thorough treatment of hidden type variables within zproof;
  5. more uniform treatment of "hyps" within zproof;
  6. clarified order: follow Thm.fold_terms;
Changeset 79478:5c1451900bec by wenzelm:
clarified order, disregard structure of proof;
The file was modified src/Pure/zterm.ML (diff)
Changeset 79477:4c719b31a0c2 by wenzelm:
minor performance tuning;
The file was modified src/Pure/zterm.ML (diff)
Changeset 79476:64b3cfbce63f by wenzelm:
tuned;
The file was modified src/Pure/zterm.ML (diff)
Changeset 79475:9eb9882f1845 by wenzelm:
more thorough treatment of hidden type variables within zproof;
The file was modified src/Pure/zterm.ML (diff)
Changeset 79474:c39aed404ffc by wenzelm:
more uniform treatment of "hyps" within zproof;
The file was modified src/Pure/thm.ML (diff)
The file was modified src/Pure/zterm.ML (diff)
Changeset 79473:e1b2595d678a by wenzelm:
clarified order: follow Thm.fold_terms;
The file was modified src/Pure/zterm.ML (diff)