| changeset 111 | dfc629cd11de |
| parent 63 | 35fe8fe12e65 |
| child 164 | 8a3e63163910 |
| 110:480aae81b489 | 111:dfc629cd11de |
|---|---|
1 no_document |
1 no_document |
2 use_thys ["../thys/turing_basic", |
2 use_thys ["../thys/turing_basic", |
3 "../thys/turing_hoare", |
3 "../thys/turing_hoare", |
4 "../thys/uncomputable"(*, |
4 "../thys/uncomputable", |
5 "../thys/abacus", |
5 "../thys/abacus"(*, |
6 "../thys/rec_def", |
6 "../thys/rec_def", |
7 "../thys/recursive"*)]; |
7 "../thys/recursive"*)]; |
8 |
8 |
9 use_thys ["Paper"] |
9 use_thys ["Paper"] |