# HG changeset patch # User Christian Urban # Date 1413177990 -3600 # Node ID 8eb3261294baf92e49b78df6c95c817e39ef3b82 # Parent 2e53aa2981e2bc4f7766012a859eeacb71da96bd updated diff -r 2e53aa2981e2 -r 8eb3261294ba slides/slides04.pdf Binary file slides/slides04.pdf has changed diff -r 2e53aa2981e2 -r 8eb3261294ba slides/slides04.tex --- a/slides/slides04.tex Mon Oct 13 00:20:16 2014 +0100 +++ b/slides/slides04.tex Mon Oct 13 06:26:30 2014 +0100 @@ -448,7 +448,7 @@ OP:\\ \hspace{5mm}{+}\\ COMMENT:\\ -\hspace{5mm}{$\slash$*} $\cdot$ (ALL$^*$ $\cdot$ {$\sim$(*$\slash$)} $\cdot$ ALL$^*$) $\cdot$ {*$\slash$} +\hspace{5mm}{$\slash$*} $\cdot$ $\sim$(ALL$^*$ $\cdot$ (*$\slash$) $\cdot$ ALL$^*$) $\cdot$ {*$\slash$} \end{tabular} \end{frame}