| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Sat, 19 Jan 2013 14:44:07 +0000 | |
| changeset 55 | cd4ef33c8fb1 |
| parent 48 | 559e5c6e5113 |
| child 61 | 7edbd5657702 |
| permissions | -rw-r--r-- |
|
2
26b17f2d583e
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
no_document |
|
48
559e5c6e5113
updated to ITP and updated directories
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2
diff
changeset
|
2 |
use_thys ["../thys/turing_basic", |
|
55
cd4ef33c8fb1
added turing_hoare
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
48
diff
changeset
|
3 |
"../thys/turing_hoare", |
|
48
559e5c6e5113
updated to ITP and updated directories
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2
diff
changeset
|
4 |
"../thys/uncomputable"(*, |
|
559e5c6e5113
updated to ITP and updated directories
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2
diff
changeset
|
5 |
"../thys/abacus"*)]; |
|
2
26b17f2d583e
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
|
|
26b17f2d583e
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
use_thys ["Paper"] |