doc-src/Functions/conclusion.tex
author blanchet
Thu, 12 May 2011 15:29:19 +0200
changeset 42733 01ef1c3d9cfd
parent 30226 2f4684e2ea95
permissions -rw-r--r--
more robust exception handling in Metis (also works if there are several subgoals)

\section{Conclusion}

\fixme{}