# HG changeset patch
# User wenzelm
# Date 1233082580 -3600
# Node ID 5941c156902d54d85034939c67f2fc4d88b40c03
# Parent  bbc8de8d1c8c57d9da9a97bb49f0e0705aca43d0
added label;

diff -r bbc8de8d1c8c -r 5941c156902d doc-src/IsarImplementation/Thy/ML.thy
--- a/doc-src/IsarImplementation/Thy/ML.thy	Tue Jan 27 15:47:22 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/ML.thy	Tue Jan 27 19:56:20 2009 +0100
@@ -291,7 +291,7 @@
   in particular files \emph{Pure/library.ML} and \emph{Pure/General/*.ML}.
 *}
 
-section {* Linear transformations *}
+section {* Linear transformations \label{sec:ML-linear-trans} *}
 
 text %mlref {*
   \begin{mldecls}