     "lazy"
     "monos"
     "morphisms"
+    "notes"
     "output"
     "outputs"
     "overloaded"

(defconst isar-keywords-minor
  '("actions"
    "and"
    "binder"
    "compose"
    "con_defs"
    "concl"
    "congs"
    "distinct"
    "files"
    "hide_action"
    "hints"
    "in"

    "restrict"
    "signature"
    "states"
    "structure"
    "to"
    "transitions"
    "transrel"
    "uses"
    "using"
    "where"))

