Mercurial > 13ws.ds

diff 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
line wrap: on
line diff
--- a/notes/tex/ue06_notes.tex	Mon Dec 02 11:04:23 2013 +0100
+++ b/notes/tex/ue06_notes.tex	Mon Dec 02 23:35:26 2013 +0100
@@ -9,5 +9,4 @@
 \showUnit{titel}
 \showUnit{praedikatenlogiksyntax}
 \showUnit{praedikatenlogikstruktur}
-\showUnit{relationeneigenschaften}
 \end{document}