Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified signature;
  3. tuned;
  4. tuned;
  5. tuned;
  6. tuned -- reorder sections;
  7. tuned;
  8. proper argument type (amending 42fbb6abed5a);
  9. tuned signature;
  10. tuned;
Changeset 70425:78514368ec63 by wenzelm:
tuned;
The file was modified src/Pure/global_theory.ML (diff)
Changeset 70424:4ed859e23025 by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/global_theory.ML (diff)
Changeset 70423:da89a7768a4a by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 70422:d6a5301f9ffb by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 70421:617cd75fc3de by wenzelm:
tuned;
The file was modified src/Pure/Proof/reconstruct.ML (diff)
Changeset 70420:328573dd886f by wenzelm:
tuned -- reorder sections;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 70419:ea5a492cd196 by wenzelm:
tuned;
The file was modified src/Pure/Proof/reconstruct.ML (diff)
The file was modified src/Pure/proofterm.ML (diff)
Changeset 70418:d23cfb85438a by wenzelm:
proper argument type (amending 42fbb6abed5a);
The file was modified src/Pure/Proof/proof_syntax.ML (diff)
Changeset 70417:eb6ff14767cd by wenzelm:
tuned signature;
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
The file was modified src/Pure/Proof/extraction.ML (diff)
The file was modified src/Pure/Proof/proof_rewrite_rules.ML (diff)
The file was modified src/Pure/Proof/proof_syntax.ML (diff)
The file was modified src/Pure/Proof/reconstruct.ML (diff)
The file was modified src/Pure/proofterm.ML (diff)
Changeset 70416:5be1da847b24 by wenzelm:
tuned;
The file was modified src/Pure/proofterm.ML (diff)