commit 48c6729b04f273f2979121a74fcc350a9333b47d
Author: nmvdw <nnmvdw@gmail.com>
Date:   Mon Jan 2 13:06:35 2017 +0100

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..506be96
--- /dev/null
+++ b/README.md
@@ -0,0 +1 @@
+# HITs-Coq
\ No newline at end of file