equal
deleted
inserted
replaced
223 only the proofs of the abstract properties will be affected. |
223 only the proofs of the abstract properties will be affected. |
224 |
224 |
225 For example, given% |
225 For example, given% |
226 \end{isamarkuptext}% |
226 \end{isamarkuptext}% |
227 \isamarkuptrue% |
227 \isamarkuptrue% |
228 \isacommand{constdefs}\isamarkupfalse% |
228 \isacommand{definition}\isamarkupfalse% |
229 \ xor\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequoteopen}bool\ {\isasymRightarrow}\ bool\ {\isasymRightarrow}\ bool{\isachardoublequoteclose}\isanewline |
229 \ xor\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequoteopen}bool\ {\isasymRightarrow}\ bool\ {\isasymRightarrow}\ bool{\isachardoublequoteclose}\ \isakeyword{where}\isanewline |
230 \ \ \ \ \ \ \ \ \ {\isachardoublequoteopen}xor\ A\ B\ {\isasymequiv}\ {\isacharparenleft}A\ {\isasymand}\ {\isasymnot}B{\isacharparenright}\ {\isasymor}\ {\isacharparenleft}{\isasymnot}A\ {\isasymand}\ B{\isacharparenright}{\isachardoublequoteclose}% |
230 {\isachardoublequoteopen}xor\ A\ B\ {\isasymequiv}\ {\isacharparenleft}A\ {\isasymand}\ {\isasymnot}B{\isacharparenright}\ {\isasymor}\ {\isacharparenleft}{\isasymnot}A\ {\isasymand}\ B{\isacharparenright}{\isachardoublequoteclose}% |
231 \begin{isamarkuptext}% |
231 \begin{isamarkuptext}% |
232 \noindent |
232 \noindent |
233 we may want to prove% |
233 we may want to prove% |
234 \end{isamarkuptext}% |
234 \end{isamarkuptext}% |
235 \isamarkuptrue% |
235 \isamarkuptrue% |