--- a/src/Tools/Haskell/Haskell.thy Fri Feb 08 14:06:20 2019 +0100
+++ b/src/Tools/Haskell/Haskell.thy Fri Feb 08 14:42:28 2019 +0100
@@ -344,6 +344,10 @@
verbatimN, verbatim, cartoucheN, cartouche, commentN, comment, comment1N, comment1,
comment2N, comment2, comment3N, comment3,
+ acceptedN, accepted, forkedN, forked, joinedN, joined, runningN, running, finishedN, finished,
+ failedN, failed, canceledN, canceled, initializedN, initialized, finalizedN, finalized,
+ consolidatedN, consolidated,
+
writelnN, writeln, stateN, state, informationN, information, tracingN, tracing,
warningN, warning, legacyN, legacy, errorN, error, reportN, report, no_reportN, no_report,