tuned; Isabelle2002
authorwenzelm
Fri Mar 08 16:24:06 2002 +0100 (2002-03-08)
changeset 13049ce180e5b7fa0
parent 13048 8b2eb3b78cc3
child 13050 04deb0c8dcbe
tuned;
doc-src/IsarRef/logics.tex
     1.1 --- a/doc-src/IsarRef/logics.tex	Fri Mar 08 15:53:15 2002 +0100
     1.2 +++ b/doc-src/IsarRef/logics.tex	Fri Mar 08 16:24:06 2002 +0100
     1.3 @@ -161,7 +161,7 @@
     1.4    
     1.5  \item [$split_format~\vec p@1 \dots \vec p@n$] puts expressions of low-level
     1.6    tuple types into canonical form as specified by the arguments given; $\vec
     1.7 -  p@i$ refers to occurrences in premise $i$ of the rule.  The $(complete)$
     1.8 +  p@i$ refers to occurrences in premise $i$ of the rule.  The ``$(complete)$''
     1.9    option causes \emph{all} arguments in function applications to be
    1.10    represented canonically according to their tuple type structure.
    1.11  
    1.12 @@ -878,7 +878,6 @@
    1.13    ;
    1.14  \end{rail}
    1.15  
    1.16 -
    1.17  %%% Local Variables:
    1.18  %%% mode: latex
    1.19  %%% TeX-master: "isar-ref"