|
1
|
1 |
session "dynamic" = "HOL" +
|
|
|
2 |
options [document = false]
|
|
|
3 |
theories
|
|
|
4 |
List_Prefix
|
|
|
5 |
My_list_prefix
|
|
|
6 |
File_renaming
|
|
|
7 |
Flask_type
|
|
|
8 |
OS_type_def
|
|
|
9 |
Flask
|
|
|
10 |
|
|
|
11 |
|
|
|
12 |
session "alive" = "dynamic" +
|
|
|
13 |
options [document = false]
|
|
|
14 |
theories
|
|
11
|
15 |
Static_type
|
|
|
16 |
Static
|
|
1
|
17 |
Valid_prop
|
|
|
18 |
Init_prop
|
|
|
19 |
Current_files_prop
|
|
|
20 |
Current_sockets_prop
|
|
|
21 |
Alive_prop
|
|
|
22 |
Proc_fd_of_file_prop
|
|
|
23 |
Finite_current
|
|
11
|
24 |
New_obj_prop
|
|
34
|
25 |
|
|
|
26 |
session "co2sobj" = "alive" +
|
|
|
27 |
options [document = false]
|
|
|
28 |
theories
|
|
|
29 |
Sectxt_prop
|
|
|
30 |
Delete_prop
|
|
|
31 |
Tainted_prop
|
|
|
32 |
Co2sobj_prop |