# HG changeset patch
# User nipkow
# Date 1335258470 -7200
# Node ID b11dac707c789c018639759ab32ad2612c45ea7e
# Parent  8aac84627b849a37ee44bae7aeb9edb322471cea
typo

diff -r 8aac84627b84 -r b11dac707c78 doc-src/ProgProve/Thys/Logic.thy
--- a/doc-src/ProgProve/Thys/Logic.thy	Tue Apr 24 10:44:04 2012 +0200
+++ b/doc-src/ProgProve/Thys/Logic.thy	Tue Apr 24 11:07:50 2012 +0200
@@ -11,7 +11,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}
 
diff -r 8aac84627b84 -r b11dac707c78 doc-src/ProgProve/Thys/document/Logic.tex
--- 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}