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"; |
11 |
14 |
12 (*Simple examples: no composition*) |
15 (*Simple examples: no composition*) |
13 time_use_thy "Simple/Deadlock"; |
16 time_use_thy "Simple/Deadlock"; |
14 time_use_thy "Simple/Common"; |
17 time_use_thy "Simple/Common"; |
15 time_use_thy "Simple/Network"; |
18 time_use_thy "Simple/Network"; |