Mercurial > 13ss.theoinf

comparison 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
comparison
equal deleted inserted replaced
52:d5aa58bee83b 53:a2d28c18251a
85 \showUnit{halteproblem} 85 \showUnit{halteproblem}
86 \showUnit{aufzaehlbarkeit} 86 \showUnit{aufzaehlbarkeit}
87 \showUnit{rice} 87 \showUnit{rice}
88 \showUnit{pcp} 88 \showUnit{pcp}
89 \showUnit{pcpbeispiel} 89 \showUnit{pcpbeispiel}
90
91 % ue12
92 \showUnit{time}
93 \showUnit{ntime}
94 \showUnit{pundnp}
95 \showUnit{verifikator}
96 \showUnit{preduktion}
97 \showUnit{npvollstaendigkeit}
98 \showUnit{sat}
99 \showUnit{3col}
90 \end{document} 100 \end{document}