Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more support for proof terms; clarified signature;
  2. more support for proof terms;
Changeset 70884:84145953b2a5 by wenzelm:
more support for proof terms;<br>clarified signature;
The file was modified src/Pure/Thy/export_theory.ML
The file was modified src/Pure/Thy/export_theory.scala
The file was modified src/Pure/proofterm.ML
Changeset 70883:93767b7a8e7b by wenzelm:
more support for proof terms;
The file was modified src/Pure/Thy/export_theory.scala