conclusions.tex revision fb9bdf36de2dd1ffe2884593789a5937119a33b4
%!TEX root = main.tex
\begin{itemize}
\item Prefix notation for Maude modules.
\item Comorphisms in the other direction.
\item strat and frozen attributes.
\item more libraries(?)
\end{itemize}