| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Thu, 22 Feb 2024 13:38:10 +0000 | |
| changeset 298 | ac5461882f3e |
| 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"] |