Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned names;
  2. tuned signature;
  3. more zproofs;
Changeset 79267:99a6a831f2c2 by wenzelm:
tuned names;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 79266:5f95ba88d686 by wenzelm:
tuned signature;
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/zterm.ML (diff)
Changeset 79265:3c194f50beef by wenzelm:
more zproofs;
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/zterm.ML (diff)