| changeset 34 | e7f850d1e08e |
| parent 11 | 3e7617baa6a3 |
| child 57 | d7cb2fb2e3b4 |
| 33:6884b3c9284b | 34:e7f850d1e08e |
|---|---|
20 Current_sockets_prop |
20 Current_sockets_prop |
21 Alive_prop |
21 Alive_prop |
22 Proc_fd_of_file_prop |
22 Proc_fd_of_file_prop |
23 Finite_current |
23 Finite_current |
24 New_obj_prop |
24 New_obj_prop |
25 |
|
26 session "co2sobj" = "alive" + |
|
27 options [document = false] |
|
28 theories |
|
29 Sectxt_prop |
|
30 Delete_prop |
|
31 Tainted_prop |
|
32 Co2sobj_prop |