2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
no_document
|
63
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
use_thys ["../thys/turing_basic",
|
55
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
"../thys/turing_hoare",
|
63
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
"../thys/uncomputable"(*,
|
61
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"]
|