equal
deleted
inserted
replaced
317 These should encourage a study of the Isabelle sources, |
317 These should encourage a study of the Isabelle sources, |
318 in particular files \emph{Pure/library.ML} and \emph{Pure/General/*.ML}.% |
318 in particular files \emph{Pure/library.ML} and \emph{Pure/General/*.ML}.% |
319 \end{isamarkuptext}% |
319 \end{isamarkuptext}% |
320 \isamarkuptrue% |
320 \isamarkuptrue% |
321 % |
321 % |
322 \isamarkupsection{Linear transformations% |
322 \isamarkupsection{Linear transformations \label{sec:ML-linear-trans}% |
323 } |
323 } |
324 \isamarkuptrue% |
324 \isamarkuptrue% |
325 % |
325 % |
326 \isadelimmlref |
326 \isadelimmlref |
327 % |
327 % |