| author | kuncar |
| Sun, 10 Mar 2013 12:06:48 +0100 | |
| branch | Nominal2-Isabelle2013 |
| changeset 3209 | 2fb0bc0dcbf1 |
| parent 3208 | da575186d492 |
| permissions | -rw-r--r-- |
|
3198
e42d281bf5ef
added a nefangled ROOT file
Christian Urban <urbanc@in.tum.de>
parents:
3196
diff
changeset
|
1 |
session Nominal2 in "Nominal" = HOL + |
| 3194 | 2 |
options [document = false] |
3 |
theories |
|
4 |
"Nominal2" |
|
5 |
"Atoms" |
|
6 |
"Eqvt" |
|
7 |
||
|
3198
e42d281bf5ef
added a nefangled ROOT file
Christian Urban <urbanc@in.tum.de>
parents:
3196
diff
changeset
|
8 |
session Examples (Tests) in "Nominal" = Nominal2 + |
| 3194 | 9 |
options [document = false] |
10 |
theories |
|
11 |
"Ex/Weakening" |
|
12 |
"Ex/Classical" |
|
13 |
"Ex/Datatypes" |
|
14 |
"Ex/Ex1" |
|
15 |
"Ex/ExPS3" |
|
16 |
"Ex/Multi_Recs" |
|
17 |
"Ex/Multi_Recs2" |
|
18 |
"Ex/LF" |
|
19 |
"Ex/Lambda" |
|
|
3208
da575186d492
updated for 2013 release
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
3198
diff
changeset
|
20 |
"Ex/Let" |
| 3194 | 21 |
"Ex/LetPat" |
22 |
"Ex/LetRec" |
|
23 |
"Ex/LetRec2" |
|
24 |
"Ex/LetFun" |
|
25 |
"Ex/Modules" |
|
26 |
"Ex/SingleLet" |
|
27 |
"Ex/Shallow" |
|
28 |
"Ex/SystemFOmega" |
|
29 |
"Ex/TypeSchemes1" |
|
30 |
"Ex/TypeSchemes2" |
|
31 |
"Ex/TypeVarsTest" |
|
32 |
"Ex/Foo1" |
|
33 |
"Ex/Foo2" |
|
34 |
"Ex/CoreHaskell" |
|
35 |
"Ex/CoreHaskell2" |
|
|
3198
e42d281bf5ef
added a nefangled ROOT file
Christian Urban <urbanc@in.tum.de>
parents:
3196
diff
changeset
|
36 |
|
|
e42d281bf5ef
added a nefangled ROOT file
Christian Urban <urbanc@in.tum.de>
parents:
3196
diff
changeset
|
37 |