updated generated file;
authorwenzelm
Sat May 10 14:13:20 2008 +0200 (2008-05-10)
changeset 26873691f35f855cd
parent 26872 336dfd860744
child 26874 b2daa27fc0a7
updated generated file;
doc-src/IsarImplementation/Thy/document/logic.tex
doc-src/IsarImplementation/Thy/document/prelim.tex
     1.1 --- a/doc-src/IsarImplementation/Thy/document/logic.tex	Sat May 10 14:13:03 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/document/logic.tex	Sat May 10 14:13:20 2008 +0200
     1.3 @@ -438,7 +438,7 @@
     1.4  \end{isamarkuptext}%
     1.5  \isamarkuptrue%
     1.6  %
     1.7 -\isamarkupsubsection{Primitive connectives and rules \label{sec:prim_rules}%
     1.8 +\isamarkupsubsection{Primitive connectives and rules \label{sec:prim-rules}%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %
     2.1 --- a/doc-src/IsarImplementation/Thy/document/prelim.tex	Sat May 10 14:13:03 2008 +0200
     2.2 +++ b/doc-src/IsarImplementation/Thy/document/prelim.tex	Sat May 10 14:13:20 2008 +0200
     2.3 @@ -474,7 +474,7 @@
     2.4  %
     2.5  \endisadelimmlref
     2.6  %
     2.7 -\isamarkupsection{Names%
     2.8 +\isamarkupsection{Names \label{sec:names}%
     2.9  }
    2.10  \isamarkuptrue%
    2.11  %