--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOT	Sun Jun 16 20:42:07 2013 -0400
@@ -0,0 +1,13 @@
+session "RC" = HOL +
+  theories [document = false]
+	"rc_theory" 
+	"final_theorems" 
+	"rc_theory" 
+	"os_rc" 
+
+session "Paper" = RC +
+  options [document = pdf, browser_info = false, document_output = "."]
+  theories
+    "Paper"
+
+