Print, Check und left/right allgemeiner
Compare changes
+ 11
− 3
@@ -178,11 +178,11 @@
@@ -178,11 +178,11 @@
<td>If the goal is the disjunction <code>A \/ B</code>, replace it with a new subgoal <code>A</code>. This is equivalent to <code>apply or_introl</code>.</td>
<td>If the goal is the disjunction <code>A \/ B</code>, replace it with a new subgoal <code>B</code>. This is equivalent to <code>apply or_intror</code>.</td>
@@ -194,7 +194,7 @@
@@ -194,7 +194,7 @@
@@ -220,6 +220,14 @@
@@ -220,6 +220,14 @@
<td>Do not print notations (like <code>+</code>) but show the actual function names (like <code>addn</code>) instead.</td>