equal
deleted
inserted
replaced
5 |
5 |
6 Root file for UNITY proofs. |
6 Root file for UNITY proofs. |
7 *) |
7 *) |
8 |
8 |
9 (*Basic meta-theory*) |
9 (*Basic meta-theory*) |
10 time_use_thy "FP"; |
10 time_use_thy "UNITY_Main"; |
11 time_use_thy "WFair"; |
|
12 |
11 |
13 (*Simple examples: no composition*) |
12 (*Simple examples: no composition*) |
14 time_use_thy "Simple/Deadlock"; |
13 time_use_thy "Simple/Deadlock"; |
15 time_use_thy "Simple/Common"; |
14 time_use_thy "Simple/Common"; |
16 time_use_thy "Simple/Network"; |
15 time_use_thy "Simple/Network"; |