Commit b5fffd6b authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

doc: 'Standard ML' is definitely too ambiguous

parent 30de3f07
......@@ -12,7 +12,7 @@ documentation automatically generated from the actual sources,
available at \url{http://why3.lri.fr/stdlib/}.
\section{Standard Theories}
\section{Theories}
\label{sec:stdlib}
We present the most important theories here, see the URL above for the
......@@ -146,7 +146,7 @@ This library provides the classical ML type of polymorphic lists, with
constructors \verb|Nil| and \verb|Cons|. Most of the classical list
operators are provided in separate theories.
\section{Standard ML Modules}
\section{Modules}
\label{sec:mllibrary}
The standard ML modules provided allow to write imperative
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment