doc-src/Functions/conclusion.tex
author kuncar
Fri, 23 Mar 2012 22:00:17 +0100
changeset 47106 dfa5ed8d94b4
parent 30226 2f4684e2ea95
permissions -rw-r--r--
use Thm.transfer for thms stored in generic context data storage
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23188
595a0e24bd8e updated
krauss
parents:
diff changeset
     1
\section{Conclusion}
595a0e24bd8e updated
krauss
parents:
diff changeset
     2
595a0e24bd8e updated
krauss
parents:
diff changeset
     3
\fixme{}
595a0e24bd8e updated
krauss
parents:
diff changeset
     4
595a0e24bd8e updated
krauss
parents:
diff changeset
     5
595a0e24bd8e updated
krauss
parents:
diff changeset
     6
595a0e24bd8e updated
krauss
parents:
diff changeset
     7