| author | Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> |
| Wed, 19 Dec 2018 16:10:58 +0100 | |
| changeset 288 | a9003e6d0463 |
| parent 164 | 8a3e63163910 |
| permissions | -rw-r--r-- |
|
2
26b17f2d583e
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
no_document |
|
164
8a3e63163910
fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
111
diff
changeset
|
2 |
use_thys ["../thys/Turing", |
|
8a3e63163910
fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
111
diff
changeset
|
3 |
"../thys/Turing_Hoare", |
|
8a3e63163910
fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
111
diff
changeset
|
4 |
"../thys/Uncomputable", |
|
8a3e63163910
fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
111
diff
changeset
|
5 |
"../thys/Abacus", |
|
8a3e63163910
fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
111
diff
changeset
|
6 |
"../thys/Rec_Def", |
|
8a3e63163910
fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
111
diff
changeset
|
7 |
"../thys/Recursive"]; |
|
2
26b17f2d583e
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
|
|
26b17f2d583e
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
use_thys ["Paper"] |