changeset 47720 | b11dac707c78 |
parent 47711 | c1cca2a052e4 |
child 47727 | 027c7f8cef22 |
--- a/doc-src/ProgProve/Thys/document/Logic.tex Tue Apr 24 10:44:04 2012 +0200 +++ b/doc-src/ProgProve/Thys/document/Logic.tex Tue Apr 24 11:07:50 2012 +0200 @@ -23,7 +23,7 @@ \subsection{Formulas} The core syntax of formulas (\textit{form} below) -provides the standard logical constructs, in decreasing precedence: +provides the standard logical constructs, in decreasing order of precedence: \[ \begin{array}{rcl}