changeset 6536 | 281d44905cab |
parent 6349 | f7750d816c21 |
child 6730 | fa1f63249077 |
6535:880f31a62784 | 6536:281d44905cab |
---|---|
11 set proof_timing; |
11 set proof_timing; |
12 |
12 |
13 add_path "../Lex"; (*to find Prefix.thy*) |
13 add_path "../Lex"; (*to find Prefix.thy*) |
14 |
14 |
15 time_use_thy"UNITY"; |
15 time_use_thy"UNITY"; |
16 |
|
17 time_use_thy "Deadlock"; |
16 time_use_thy "Deadlock"; |
18 time_use_thy "WFair"; |
17 time_use_thy "WFair"; |
19 time_use_thy "Common"; |
18 time_use_thy "Common"; |
20 time_use_thy "Network"; |
19 time_use_thy "Network"; |
21 time_use_thy "Token"; |
20 time_use_thy "Token"; |