Summary
- merged
- "split add" -> "split". Documented new modifier "split!"
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Generic.thy (diff) |
The file was modified | src/Provers/splitter.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Generic.thy (diff) |
The file was modified | src/Provers/splitter.ML (diff) |