etc/isar-keywords.el
changeset 12042 1e5c01d5fe04
parent 12040 61e99f0f5c01
child 12059 c224c941769f
     1.1 --- a/etc/isar-keywords.el	Sat Nov 03 18:49:40 2001 +0100
     1.2 +++ b/etc/isar-keywords.el	Sun Nov 04 20:56:19 2001 +0100
     1.3 @@ -170,13 +170,16 @@
     1.4  (defconst isar-keywords-minor
     1.5    '("actions"
     1.6      "and"
     1.7 +    "assumes"
     1.8      "binder"
     1.9      "compose"
    1.10      "con_defs"
    1.11      "concl"
    1.12      "congs"
    1.13 +    "defines"
    1.14      "distinct"
    1.15      "files"
    1.16 +    "fixes"
    1.17      "hide_action"
    1.18      "hints"
    1.19      "in"
    1.20 @@ -193,6 +196,7 @@
    1.21      "lazy"
    1.22      "monos"
    1.23      "morphisms"
    1.24 +    "notes"
    1.25      "output"
    1.26      "outputs"
    1.27      "overloaded"
    1.28 @@ -203,9 +207,11 @@
    1.29      "restrict"
    1.30      "signature"
    1.31      "states"
    1.32 +    "structure"
    1.33      "to"
    1.34      "transitions"
    1.35      "transrel"
    1.36 +    "uses"
    1.37      "using"
    1.38      "where"))
    1.39