ROOT
changeset 65 6f9a588bcfc4
parent 57 d7cb2fb2e3b4
equal deleted inserted replaced
64:0753309adfc7 65:6f9a588bcfc4
    33 
    33 
    34 session "s2ss" = "co2sobj" +
    34 session "s2ss" = "co2sobj" +
    35   options [document = false]
    35   options [document = false]
    36   theories
    36   theories
    37     S2ss_prop
    37     S2ss_prop
       
    38     S2ss_prop2