# HG changeset patch
# User wenzelm
# Date 1233082586 -3600
# Node ID 12070638fe29183b0b2e3240f6a9504dd70a92ba
# Parent  5941c156902d54d85034939c67f2fc4d88b40c03
updated generated file;

diff -r 5941c156902d -r 12070638fe29 doc-src/IsarImplementation/Thy/document/ML.tex
--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Tue Jan 27 19:56:20 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Tue Jan 27 19:56:26 2009 +0100
@@ -319,7 +319,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Linear transformations%
+\isamarkupsection{Linear transformations \label{sec:ML-linear-trans}%
 }
 \isamarkuptrue%
 %