changeset 11 | 3e7617baa6a3 |
parent 1 | 7d9c0ed02b56 |
child 34 | e7f850d1e08e |
10:ac66d8ba86d9 | 11:3e7617baa6a3 |
---|---|
10 |
10 |
11 |
11 |
12 session "alive" = "dynamic" + |
12 session "alive" = "dynamic" + |
13 options [document = false] |
13 options [document = false] |
14 theories |
14 theories |
15 Static_type |
|
16 Static |
|
15 Valid_prop |
17 Valid_prop |
16 Init_prop |
18 Init_prop |
17 Current_files_prop |
19 Current_files_prop |
18 Current_sockets_prop |
20 Current_sockets_prop |
19 Alive_prop |
21 Alive_prop |