diff -r 0753309adfc7 -r 6f9a588bcfc4 ROOT
--- a/ROOT	Thu Oct 24 09:42:35 2013 +0800
+++ b/ROOT	Wed Oct 30 08:18:40 2013 +0800
@@ -34,4 +34,5 @@
 session "s2ss" = "co2sobj" +
   options [document = false]
   theories
-    S2ss_prop
\ No newline at end of file
+    S2ss_prop
+    S2ss_prop2
\ No newline at end of file