| changeset 97 | d6f04e3e9894 |
| parent 71 | 8c7f10b3da7b |
| child 101 | 06db15939b7c |
| 96:bd320b5365e2 | 97:d6f04e3e9894 |
|---|---|
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"*)] |