Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: suppress unused fields;
  2. eliminate clone (amending e7796c55d840);
  3. minor performance tuning;
  4. more operations;
  5. more operations;
  6. tuned;
Changeset 79384:0a94277a1d35 by wenzelm:
clarified signature: suppress unused fields;
The file was modified src/Pure/logic.ML (diff)
Changeset 79383:8c9cce335a3d by wenzelm:
eliminate clone (amending e7796c55d840);
The file was modified src/Pure/logic.ML (diff)
The file was modified src/Pure/term.ML (diff)
Changeset 79382:703201dbd413 by wenzelm:
minor performance tuning;
The file was modified src/Pure/logic.ML (diff)
Changeset 79381:e7796c55d840 by wenzelm:
more operations;
The file was modified src/Pure/term.ML (diff)
Changeset 79380:b9d80d5aca8e by wenzelm:
more operations;
The file was modified src/Pure/term_items.ML (diff)
Changeset 79379:e31b48b47e88 by wenzelm:
tuned;
The file was modified src/Pure/Proof/extraction.ML (diff)