# HG changeset patch
# User wenzelm
# Date 1015601046 -3600
# Node ID ce180e5b7fa056003791fff19cc5cefba193b135
# Parent  8b2eb3b78cc35fd7f24a1a67eb7392fba76d022d
tuned;

diff -r 8b2eb3b78cc3 -r ce180e5b7fa0 doc-src/IsarRef/logics.tex
--- a/doc-src/IsarRef/logics.tex	Fri Mar 08 15:53:15 2002 +0100
+++ b/doc-src/IsarRef/logics.tex	Fri Mar 08 16:24:06 2002 +0100
@@ -161,7 +161,7 @@
   
 \item [$split_format~\vec p@1 \dots \vec p@n$] puts expressions of low-level
   tuple types into canonical form as specified by the arguments given; $\vec
-  p@i$ refers to occurrences in premise $i$ of the rule.  The $(complete)$
+  p@i$ refers to occurrences in premise $i$ of the rule.  The ``$(complete)$''
   option causes \emph{all} arguments in function applications to be
   represented canonically according to their tuple type structure.
 
@@ -878,7 +878,6 @@
   ;
 \end{rail}
 
-
 %%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "isar-ref"