Mercurial > 13ss.theoinf

diff notes/tex/complete_notes.tex @ 53:a2d28c18251a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ue12 notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 15 Jul 2013 23:51:55 +0200
parents 72ac27051d7e
children b815b94ae158
line wrap: on
line diff
--- a/notes/tex/complete_notes.tex	Mon Jul 15 23:51:34 2013 +0200
+++ b/notes/tex/complete_notes.tex	Mon Jul 15 23:51:55 2013 +0200
@@ -87,4 +87,14 @@
 \showUnit{rice}
 \showUnit{pcp}
 \showUnit{pcpbeispiel}
+
+% ue12
+\showUnit{time}
+\showUnit{ntime}
+\showUnit{pundnp}
+\showUnit{verifikator}
+\showUnit{preduktion}
+\showUnit{npvollstaendigkeit}
+\showUnit{sat}
+\showUnit{3col}
 \end{document}