Mercurial > 13ws.ds

comparison notes/tex/ue06_notes.tex @ 32:b5094b3e3111

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reorganize units; fix spacing in calculus rules; fix small old errors
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 02 Dec 2013 23:35:26 +0100
parents 4436f8006ebd
children
comparison
equal deleted inserted replaced
31:cedc6884dd46 32:b5094b3e3111
7 7
8 \begin{document} 8 \begin{document}
9 \showUnit{titel} 9 \showUnit{titel}
10 \showUnit{praedikatenlogiksyntax} 10 \showUnit{praedikatenlogiksyntax}
11 \showUnit{praedikatenlogikstruktur} 11 \showUnit{praedikatenlogikstruktur}
12 \showUnit{relationeneigenschaften}
13 \end{document} 12 \end{document}