equal
  deleted
  inserted
  replaced
  
    
    
|     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 |