src/Tools/Haskell/Haskell.thy
changeset 69968 1a400b14fd3a
parent 69794 a19fdf64726c
child 70047 96fe857a7a6f
     1.1 --- a/src/Tools/Haskell/Haskell.thy	Sun Mar 24 17:45:00 2019 +0100
     1.2 +++ b/src/Tools/Haskell/Haskell.thy	Sun Mar 24 17:53:46 2019 +0100
     1.3 @@ -327,7 +327,7 @@
     1.4    markupN, consistentN, unbreakableN, indentN, widthN,
     1.5    blockN, block, breakN, break, fbreakN, fbreak, itemN, item,
     1.6  
     1.7 -  wordsN, words, no_wordsN, no_words,
     1.8 +  wordsN, words,
     1.9  
    1.10    tfreeN, tfree, tvarN, tvar, freeN, free, skolemN, skolem, boundN, bound, varN, var,
    1.11    numeralN, numeral, literalN, literal, delimiterN, delimiter, inner_stringN, inner_string,
    1.12 @@ -510,9 +510,6 @@
    1.13  wordsN :: String; words :: T
    1.14  (wordsN, words) = markup_elem \<open>Markup.wordsN\<close>
    1.15  
    1.16 -no_wordsN :: String; no_words :: T
    1.17 -(no_wordsN, no_words) = markup_elem \<open>Markup.no_wordsN\<close>
    1.18 -
    1.19  
    1.20  {- inner syntax -}
    1.21