--- 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"