From 6edbe920ef40826fd912cfd9b4b6ab205a1a5022 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Sat, 7 Apr 2018 10:21:10 +0200
Subject: Framework

---
 Assignment1/assignment1.tex | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 Assignment1/assignment1.tex

(limited to 'Assignment1')

diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
new file mode 100644
index 0000000..8463e99
--- /dev/null
+++ b/Assignment1/assignment1.tex
@@ -0,0 +1,13 @@
+\documentclass[a4paper]{scrartcl}
+
+\title{Model Checking}
+\subtitle{Assignment 1}
+\author{Camil Staps \and Erin van der Veen}
+
+\begin{document}
+
+\maketitle
+
+\section{Past Modalities in LTL}
+
+\end{document}
-- 
cgit v1.2.3