From 85bdc78e7cadd8ba52d117f648253dcc1a99c83f Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 12 Apr 2018 23:07:57 +0200
Subject: Organise in different files

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

(limited to 'Assignment1/comparison.tex')

diff --git a/Assignment1/comparison.tex b/Assignment1/comparison.tex
new file mode 100644
index 0000000..5876153
--- /dev/null
+++ b/Assignment1/comparison.tex
@@ -0,0 +1,2 @@
+\subsubsection{LTL and PLTL}
+%TODO: Consider/Analyse differences between LTL and PLTL
-- 
cgit v1.2.3

