equal
deleted
inserted
replaced
29 \cite{HarelKT-DL} looks quite different from ours, but the two are easily |
29 \cite{HarelKT-DL} looks quite different from ours, but the two are easily |
30 shown to be equivalent.}% |
30 shown to be equivalent.}% |
31 \end{isamarkuptext}% |
31 \end{isamarkuptext}% |
32 \isamarkuptrue% |
32 \isamarkuptrue% |
33 \isacommand{datatype}\isamarkupfalse% |
33 \isacommand{datatype}\isamarkupfalse% |
34 \ formula\ {\isacharequal}\ Atom\ atom\isanewline |
34 \ formula\ {\isacharequal}\ Atom\ {\isachardoublequoteopen}atom{\isachardoublequoteclose}\isanewline |
35 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ Neg\ formula\isanewline |
35 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ Neg\ formula\isanewline |
36 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ And\ formula\ formula\isanewline |
36 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ And\ formula\ formula\isanewline |
37 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ AX\ formula\isanewline |
37 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ AX\ formula\isanewline |
38 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ EF\ formula% |
38 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ EF\ formula% |
39 \begin{isamarkuptext}% |
39 \begin{isamarkuptext}% |