From f07e0e2349a222130209ada9c029eea3d1fe8144 Mon Sep 17 00:00:00 2001
From: Lars Hupel
Date: Tue, 18 Sep 2018 16:52:08 +0200
Subject: add ROOT file

---
 ROOT | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 ROOT

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
new file mode 100644
index 0000000..7e76f86
--- /dev/null
+++ b/ROOT
@@ -0,0 +1,10 @@
+session HoTT = Pure +
+  sessions
+    "HOL-Eisbach"
+  theories
+    HoTT_Base
+    HoTT
+    "tests/Test"
+    "ex/Methods"
+    "ex/Synthesis"
+    "ex/Book/Ch1"
\ No newline at end of file
-- 
cgit v1.2.3