33
34 session "s2ss" = "co2sobj" +
35 options [document = false]
36 theories
37 S2ss_prop
38 S2ss_prop2