equal
deleted
inserted
replaced
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 "UNITY_Main"; |
10 time_use_thy "UNITY_Main"; |
11 |
|
12 (*New Meier/Sanders composition theory*) |
|
13 time_use_thy "Transformers"; |
|
14 |
11 |
15 (*Simple examples: no composition*) |
12 (*Simple examples: no composition*) |
16 time_use_thy "Simple/Deadlock"; |
13 time_use_thy "Simple/Deadlock"; |
17 time_use_thy "Simple/Common"; |
14 time_use_thy "Simple/Common"; |
18 time_use_thy "Simple/Network"; |
15 time_use_thy "Simple/Network"; |