src/Tools/Haskell/Haskell.thy

 
   expressionN, expression,
 
   citationN, citation,
 
-  pathN, urlN, docN,
+  pathN, path, urlN, url, docN, doc,
 
   markupN, consistentN, unbreakableN, indentN, widthN,
   blockN, block, breakN, break, fbreakN, fbreak, itemN, item,
 
   wordsN, words,