| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Thu, 07 Feb 2013 05:46:17 +0000 | |
| changeset 159 | b4b789a59086 |
| parent 111 | dfc629cd11de |
| child 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 |
|
63
35fe8fe12e65
small updates
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
61
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", |
|
111
dfc629cd11de
made uncomputable compatible with abacus
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
63
diff
changeset
|
4 |
"../thys/uncomputable", |
|
dfc629cd11de
made uncomputable compatible with abacus
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
63
diff
changeset
|
5 |
"../thys/abacus"(*, |
|
61
7edbd5657702
updated files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
55
diff
changeset
|
6 |
"../thys/rec_def", |
|
7edbd5657702
updated files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
55
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"] |