| changeset 61 | 7edbd5657702 |
| parent 55 | cd4ef33c8fb1 |
| child 63 | 35fe8fe12e65 |
| 60:c8ff97d9f8da | 61:7edbd5657702 |
|---|---|
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", |
|
7 "../thys/recursive"*)]; |
|
6 |
8 |
7 use_thys ["Paper"] |
9 use_thys ["Paper"] |