changeset 297 | 5ef75ff3baeb |
parent 244 | 929fc2c63bd0 |
child 893 | f81cb7520372 |
296:e1f6cd9f682e | 297:5ef75ff3baeb |
---|---|
11 writeln"Root file for HOLCF examples"; |
11 writeln"Root file for HOLCF examples"; |
12 proof_timing := true; |
12 proof_timing := true; |
13 time_use_thy "ex/Coind"; |
13 time_use_thy "ex/Coind"; |
14 time_use_thy "ex/Hoare"; |
14 time_use_thy "ex/Hoare"; |
15 time_use_thy "ex/Loop"; |
15 time_use_thy "ex/Loop"; |
16 time_use_thy "ex/Dagstuhl"; |
|
17 |
|
16 maketest "END: Root file for HOLCF examples"; |
18 maketest "END: Root file for HOLCF examples"; |