Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
typo
authornipkow
Tue, 24 Apr 2012 11:07:50 +0200
changeset 47720 b11dac707c78
parent 47719 8aac84627b84
child 47721 77d9881bc820
child 47727 027c7f8cef22
child 47729 44d1f4e0a46e
typo
doc-src/ProgProve/Thys/Logic.thy file | annotate | diff | comparison | revisions
doc-src/ProgProve/Thys/document/Logic.tex file | annotate | diff | comparison | revisions 
--- 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}
 
--- 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}
isabelle