Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS
  3. set up code generation for fset
  4. redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
  5. merged
  6. tuned signature;
  7. clarified treatment of context;
  8. clarified treatment of context;
  9. more operations;
Changeset 78120:a8e5cefeb3ab by desharna:
merged
Changeset 78119:6f43068a71d1 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 78118:84a7a0029c82 by desharna:
set up code generation for fset
The file was modified src/HOL/Library/FSet.thy (diff)
Changeset 78117:7735645667f0 by desharna:
redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Library/Finite_Map.thy (diff)
Changeset 78116:cc17e2f0f1fc by wenzelm:
merged
Changeset 78115:f360ee6ce670 by wenzelm:
tuned signature;
The file was modified src/HOL/Tools/record.ML (diff)
The file was modified src/Pure/simplifier.ML (diff)
Changeset 78114:43154a48da69 by wenzelm:
clarified treatment of context;
The file was modified src/Pure/raw_simplifier.ML (diff)
The file was modified src/Pure/simplifier.ML (diff)
Changeset 78113:b14421dc6759 by wenzelm:
clarified treatment of context;
The file was modified src/Pure/ex/Def.thy (diff)
Changeset 78112:10487f6571bc by wenzelm:
more operations;
The file was modified src/Pure/morphism.ML (diff)