Summary
- more on type class hierarchy
- simplified
- text antiquotation for locales (similar to classes)
The file was modified | src/Doc/Typeclass_Hierarchy/Setup.thy (diff) |
The file was modified | src/Doc/Typeclass_Hierarchy/Typeclass_Hierarchy.thy (diff) |
The file was modified | src/Doc/more_antiquote.ML (diff) |
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) |