equal
deleted
inserted
replaced
3 Author: Christian Urban, TU Muenchen |
3 Author: Christian Urban, TU Muenchen |
4 |
4 |
5 Various examples involving nominal datatypes. |
5 Various examples involving nominal datatypes. |
6 *) |
6 *) |
7 |
7 |
8 use_thy "CR"; |
8 use_thys [ |
9 use_thy "CR_Takahashi"; |
9 "CR", |
10 use_thy "Class"; |
10 "CR_Takahashi", |
11 use_thy "Compile"; |
11 "Class", |
12 use_thy "Fsub"; |
12 "Compile", |
13 use_thy "Height"; |
13 "Fsub", |
14 use_thy "Lambda_mu"; |
14 "Height", |
15 use_thy "SN"; |
15 "Lambda_mu", |
16 use_thy "Weakening"; |
16 "SN", |
17 use_thy "Crary"; |
17 "Weakening", |
18 use_thy "SOS"; |
18 "Crary", |
19 use_thy "LocalWeakening"; |
19 "SOS", |
|
20 "LocalWeakening" |
|
21 ]; |