src/Tools/Haskell/Haskell.thy

 
   keyword1N, keyword1, keyword2N, keyword2, keyword3N, keyword3, quasi_keywordN, quasi_keyword,
   improperN, improper, operatorN, operator, stringN, string, alt_stringN, alt_string,
   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,
 
   intensifyN, intensify,