Commit e826fd43 authored by MARCHE Claude's avatar MARCHE Claude

update doc: syntax changes w.r.t 0.87

parent 1a748647
......@@ -291,6 +291,7 @@ egalite sur les type algebriques ? engendrees automatiquement ?
\texttt{use HighOrd} & nothing, not needed anymore \\
\texttt{HighOrd.pred ty} & \texttt{ty -> bool} \\
\texttt{type t model ...} & \texttt{type t = abstract ... } \\
\texttt{abstract e ensures \{ Q \}} & \texttt{begin ensures \{ Q \} e end} \\
\hline
\end{tabular}
\end{center}
......
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