1 files changed, 6 insertions, 0 deletions
diff --git a/ROOT b/ROOT
new file mode 100644
index 0000000..c2e8e43
--- /dev/null
+++ b/ROOT
@@ -0,0 +1,6 @@
+session "isabelle-snippets" = HOL +
+  options [document = pdf, document_output = "output"]
+  theories [document = false]
+    Latex
+  document_files
+    "root.tex"