--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys/ROOT	Fri Feb 05 10:16:10 2016 +0000
@@ -0,0 +1,13 @@
+session "Lex" = HOL +
+  theories [document = false, quick_and_dirty]
+	"ReStar" 
+
+session Paper in "Paper" = Lex +
+  options [document = pdf, document_output = "..", document_variants="paper"]
+  theories 
+    "~~/src/HOL/Library/LaTeXsugar"
+    "Paper"
+  document_files
+    "root.bib"
+    "root.tex" 
+