| changeset 63 | 35fe8fe12e65 |
| parent 61 | 7edbd5657702 |
| child 111 | dfc629cd11de |
| 62:e33306b4c62e | 63:35fe8fe12e65 |
|---|---|
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"] |