equal
deleted
inserted
replaced
125 $elimify$ & put destruction rule into elimination form \\[1ex] |
125 $elimify$ & put destruction rule into elimination form \\[1ex] |
126 |
126 |
127 \multicolumn{2}{l}{\textbf{Declare rules}} \\[0.5ex] |
127 \multicolumn{2}{l}{\textbf{Declare rules}} \\[0.5ex] |
128 $simp$ & declare Simplifier rules \\ |
128 $simp$ & declare Simplifier rules \\ |
129 $split$ & declare Splitter rules \\ |
129 $split$ & declare Splitter rules \\ |
130 $intro$, $elim$, $dest$ & declare Classical Reasoner rules (also ``?'' or ``??'') \\ |
130 $intro$, $elim$, $dest$ & declare Classical Reasoner rules (also ``!'' or ``?'') \\ |
131 $iff$ & declare Simplifier + Classical Reasoner rules \\ |
131 $iff$ & declare Simplifier + Classical Reasoner rules \\ |
132 $trans$ & declare calculational rules (general transitivity) \\ |
132 $trans$ & declare calculational rules (general transitivity) \\ |
133 \end{tabular} |
133 \end{tabular} |
134 |
134 |
135 |
135 |