163
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
1 |
|
1
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
no_document
|
163
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
use_thys ["thys/Turing",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
"thys/Turing_Hoare",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
"thys/Uncomputable",
|
173
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
"thys/Abacus_Mopup",
|
163
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
"thys/Abacus",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
"thys/Rec_Def",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
"thys/Recursive",
|
145
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
"thys/UF",
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
11 |
"thys/UTM"]
|