changeset 6349 | f7750d816c21 |
parent 4449 | df30e75f670f |
child 9000 | c20d58286a51 |
--- a/src/HOLCF/ex/ROOT.ML Thu Mar 11 12:34:10 1999 +0100 +++ b/src/HOLCF/ex/ROOT.ML Thu Mar 11 13:20:35 1999 +0100 @@ -6,11 +6,9 @@ Executes all examples for HOLCF. *) -HOLCF_build_completed; (*Cause examples to fail if HOLCF did*) +writeln"Root file for HOLCF examples"; -writeln"Root file for HOLCF examples"; set proof_timing; - time_use_thy "Dnat"; time_use_thy "Stream"; time_use_thy "Dagstuhl";