licence added

diff --git a/LICENCE b/LICENCE
new file mode 100644 (file)
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