Commit ca47dc2d authored by Ulrich's avatar Ulrich

minor

parent aeae78e0
......@@ -172,6 +172,7 @@
Coq \\
Permutations \\
Taktiken früher einbauen \\
Induktionsprämissen und Ziele werden automatisch generiert \\
...
\end{frame}
......
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