| changeset 101 | 06db15939b7c |
| parent 97 | d6f04e3e9894 |
| child 145 | 38d8e0e37b7d |
| 100:dfe852aacae6 | 101:06db15939b7c |
|---|---|
12 *) |
12 *) |
13 |
13 |
14 no_document |
14 no_document |
15 use_thys ["thys/turing_basic", |
15 use_thys ["thys/turing_basic", |
16 "thys/turing_hoare", |
16 "thys/turing_hoare", |
17 "thys/uncomputable"(*, |
17 "thys/uncomputable", |
18 "thys/abacus", |
18 "thys/abacus", |
19 "thys/rec_def", |
19 "thys/rec_def", |
20 "thys/recursive", |
20 "thys/recursive", |
21 "thys/UF"*)] |
21 "thys/UF"] |