e2 done

[mc1516.git] / e1.tex

diff --git a/e1.tex b/e1.tex
index 66d3a9d..a975cf7 100644 (file)
--- a/e1.tex
+++ b/e1.tex
@@ -13,19 +13,14 @@
 
 \everymath{\displaystyle}
 
+\author{Mart Lubbers}
+\date{\today}
+\title{Model Checking Excercises 1}
+
 \begin{document}
+\maketitle
 \begin{enumerate}
        \item
-               $\xymatrix{
-                               & l_0 & l_1 & l_2 & l_3 & l_5 & l_6 & l_7\\
-                       l_0 & 0ff\ar[d] & 0ff & 0ff\\
-                       l_1 & 0ff\ar[d] & 0ff & 0ff\\
-                       l_2 & 1ff\ar[d] & 1ff & 0ff\\
-                       l_3 & 1tf\ar[d] & 1tf & 0ff\\
-                       l_5 & 1tf\ar[d] & 1tf & 0ff\\
-                       l_6 & 1tf\ar[d] & 1tf & 0ff\\
-                       l_7 & 1ff       & 1ff & 0ff 
-               }$
        \item
                $\al(crit_0\veebar crit_1)$
        \item