.

[mc1516.git] / e1.tex

diff --git a/e1.tex b/e1.tex
index ad644cf..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\\
-                       l_1\\
-                       l_2\\
-                       l_3\\
-                       l_5\\
-                       l_6\\
-                       l_7
-               }$
        \item
                $\al(crit_0\veebar crit_1)$
        \item