Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. tuned signature;
  3. clarified treatment of context;
  4. clarified treatment of context;
  5. more operations;
Changeset 78116:cc17e2f0f1fc by wenzelm:
merged
Changeset 78115:f360ee6ce670 by wenzelm:
tuned signature;
The file was modified src/HOL/Tools/record.ML
The file was modified src/Pure/simplifier.ML
Changeset 78114:43154a48da69 by wenzelm:
clarified treatment of context;
The file was modified src/Pure/raw_simplifier.ML
The file was modified src/Pure/simplifier.ML
Changeset 78113:b14421dc6759 by wenzelm:
clarified treatment of context;
The file was modified src/Pure/ex/Def.thy
Changeset 78112:10487f6571bc by wenzelm:
more operations;
The file was modified src/Pure/morphism.ML