changeset 2236 | c7869a443b14 |
parent 1459 | d12da312eff4 |
child 4446 | 097004a470fb |
2235:866dbb04816c | 2236:c7869a443b14 |
---|---|
14 time_use_thy "Nat"; |
14 time_use_thy "Nat"; |
15 time_use_thy "List"; |
15 time_use_thy "List"; |
16 time_use_thy "Stream"; |
16 time_use_thy "Stream"; |
17 time_use_thy "Flag"; |
17 time_use_thy "Flag"; |
18 |
18 |
19 cd ".."; |
19 OS.FileSys.chDir ".."; |
20 maketest"END: Root file for CCL examples"; |
20 maketest"END: Root file for CCL examples"; |