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

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

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