Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more on type class hierarchy
  2. simplified
  3. text antiquotation for locales (similar to classes)
Changeset 63555:d00db72d8697 by haftmann:
more on type class hierarchy
The file was modified src/Doc/Typeclass_Hierarchy/Setup.thy (diff)
The file was modified src/Doc/Typeclass_Hierarchy/Typeclass_Hierarchy.thy (diff)
Changeset 63554:d7c6a3a01b79 by haftmann:
simplified
The file was modified src/Doc/more_antiquote.ML (diff)
Changeset 63553:4a72b37ac4b8 by haftmann:
text antiquotation for locales (similar to classes)
The file was modified NEWS (diff)
The file was modified src/Pure/ML/ml_antiquotations.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)