--- a/ROOT	Tue Feb 19 04:56:33 2013 +0000
+++ b/ROOT	Tue Feb 19 05:11:33 2013 +0000
@@ -10,3 +10,7 @@
     "thys/Recursive"
     "thys/UF"
     "thys/UTM"
+
+session ITP = UTM +
+  theories
+    "Paper/Paper"
\ No newline at end of file