--- 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