changeset 2236 | c7869a443b14 |
parent 1461 | 6bcb44e4d6e5 |
child 2570 | 24d7e8fb8261 |
2235:866dbb04816c | 2236:c7869a443b14 |
---|---|
14 time_use_thy "Hoare"; |
14 time_use_thy "Hoare"; |
15 time_use_thy "Loop"; |
15 time_use_thy "Loop"; |
16 time_use_thy "Fix2"; |
16 time_use_thy "Fix2"; |
17 time_use "loeckx.ML"; |
17 time_use "loeckx.ML"; |
18 |
18 |
19 cd ".."; |
19 OS.FileSys.chDir ".."; |
20 maketest "END: Root file for HOLCF examples"; |
20 maketest "END: Root file for HOLCF examples"; |