Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. "split add" -> "split". Documented new modifier "split!"
Changeset 63651:f8e79d14d61f by nipkow:
merged
Changeset 63650:50cadecbe5bc by nipkow:
&quot;split add&quot; -&gt; &quot;split&quot;.<br>Documented new modifier &quot;split!&quot;
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)