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 |