src/Doc/Sledgehammer/document/root.tex
changeset 57029 75cc30d2b83f
parent 57028 e5466055e94f
child 57040 fc96f394c7e5
     1.1 --- a/src/Doc/Sledgehammer/document/root.tex	Tue May 20 22:28:08 2014 +0200
     1.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Tue May 20 22:28:44 2014 +0200
     1.3 @@ -1070,8 +1070,8 @@
     1.4  The experimental MaSh machine learner. Three learning engines are provided:
     1.5  
     1.6  \begin{enum}
     1.7 -\item[\labelitemi] \textbf{\textit{sml}} (also called
     1.8 -\textbf{\textit{sml\_knn}}) is a Standard ML implementation of $k$-nearest
     1.9 +\item[\labelitemi] \textbf{\textit{sml\_knn}} (also called
    1.10 +\textbf{\textit{sml}}) is a Standard ML implementation of $k$-nearest
    1.11  neighbors.
    1.12  
    1.13  \item[\labelitemi] \textbf{\textit{sml\_nb}} is a Standard ML implementation of