ROOT
changeset 57 d7cb2fb2e3b4
parent 34 e7f850d1e08e
child 65 6f9a588bcfc4
equal deleted inserted replaced
56:ced9becf9eeb 57:d7cb2fb2e3b4
    28   theories
    28   theories
    29     Sectxt_prop
    29     Sectxt_prop
    30     Delete_prop
    30     Delete_prop
    31     Tainted_prop
    31     Tainted_prop
    32     Co2sobj_prop
    32     Co2sobj_prop
       
    33 
       
    34 session "s2ss" = "co2sobj" +
       
    35   options [document = false]
       
    36   theories
       
    37     S2ss_prop