Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more zproofs; misc tuning and clarification;
  3. tuned;
  4. tuned;
  5. more operations; tuned semicolons;
  6. clarified modules; more source positions;
  7. more zterm operations; more zproofs;
Changeset 79125:e475d6ac8eb1 by wenzelm:
merged
Changeset 79124:89d4a8f52738 by wenzelm:
more zproofs;<br>misc tuning and clarification;
The file was modified src/Pure/thm.ML (diff)
The file was modified src/Pure/zterm.ML (diff)
Changeset 79123:419519d5230d by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 79122:f9390f5399ae by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 79121:6a84d18fa548 by wenzelm:
more operations;<br>tuned semicolons;
The file was modified src/Pure/cterm_items.ML (diff)
The file was modified src/Pure/term_items.ML (diff)
Changeset 79120:45b2171e9e03 by wenzelm:
clarified modules;<br>more source positions;
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/pure_thy.ML (diff)
The file was modified src/Pure/theory.ML (diff)
Changeset 79119:cf29db6c95e1 by wenzelm:
more zterm operations;<br>more zproofs;
The file was modified src/Pure/thm.ML (diff)
The file was modified src/Pure/zterm.ML (diff)