1 files changed, 6 insertions, 0 deletions
diff --git a/isabelle-lib/ROOT b/isabelle-lib/ROOT
new file mode 100644
index 00000000..d79b99ba
--- /dev/null
+++ b/isabelle-lib/ROOT
@@ -0,0 +1,6 @@
+session "Sail" = "LEM" +
+  options [document = false]
+  theories
+    Sail_values
+    State
+    Prompt