| changeset 29647 | 12070638fe29 |
| parent 29612 | 4f68e0f8f4fd |
| child 29756 | df70c0291579 |
| child 30240 | 5b25fee0362c |
--- 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% %