ROOT
changeset 65 6f9a588bcfc4
parent 57 d7cb2fb2e3b4
--- 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