Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. explicit record values for dictionary variables
  2. provide explicit hint concering uniqueness of derivation
  3. syntax for multiset membership modelled after syntax for set membership
Changeset 62539:00f8bca4aba0 by haftmann:
explicit record values for dictionary variables
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
The file was modified src/Tools/nbe.ML (diff)
Changeset 62538:85ebb645b1a3 by haftmann:
provide explicit hint concering uniqueness of derivation
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/sorts.ML (diff)
The file was modified src/Tools/Code/code_preproc.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 62537:7a9aa69f9b38 by haftmann:
syntax for multiset membership modelled after syntax for set membership
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)