Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tight representation of types / terms / proof terms (presently unused);
Changeset 79098:d8940e5bbb25 by wenzelm:
tight representation of types / terms / proof terms (presently unused);
The file was addedsrc/Pure/zterm.ML
The file was modified src/Pure/ROOT.ML