2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
no_document
|
164
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
use_thys ["../thys/Turing",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
"../thys/Turing_Hoare",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
"../thys/Uncomputable",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
"../thys/Abacus",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
"../thys/Rec_Def",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
"../thys/Recursive"];
|
2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
use_thys ["Paper"]
|