![[Jenkins]](/jenkins/static/0ab21b84/images/svgs/logo.svg){kind=logo}
Summary
- Experimental support for rewrite morphisms in locale instances.
| The file was modified | src/FOL/ex/Locale_Test/Locale_Test1.thy (diff) |
| The file was modified | src/HOL/Statespace/state_space.ML (diff) |
| The file was modified | src/Pure/Isar/class_declaration.ML (diff) |
| The file was modified | src/Pure/Isar/expression.ML (diff) |
| The file was modified | src/Pure/Isar/interpretation.ML (diff) |
| The file was modified | src/Pure/Isar/parse_spec.ML (diff) |
| The file was modified | src/Pure/Pure.thy (diff) |