From ec598331846feab97e096de4d45b437e5d6fc485 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Fri, 27 Nov 2015 13:44:17 +0100
Subject: [PATCH] licence added

---
 LICENCE | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 LICENCE

diff --git a/LICENCE b/LICENCE
new file mode 100644
index 0000000..2bc804d
--- /dev/null
+++ b/LICENCE
@@ -0,0 +1,3 @@
+ALL FILES IN THIS REPO MAY BE USED FOR EVERYTHING YOU LIKE EXCEPT FOR HANDING
+IT, OR PARTS, IN AS A SOLTION FOR THE AUTOMATED REASONING COURSE AT THE RU
+NIJMEGEN 2015/2016
-- 
2.20.1