etc/isar-keywords.el
changeset 18757 f0d901bc0686
parent 18702 7dc7dcd63224
child 18775 becdbf57eeb8
     1.1 --- a/etc/isar-keywords.el	Mon Jan 23 14:06:40 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Jan 23 14:07:52 2006 +0100
     1.3 @@ -217,14 +217,12 @@
     1.4      "advanced"
     1.5      "and"
     1.6      "assumes"
     1.7 -    "atom"
     1.8      "attach"
     1.9      "begin"
    1.10      "binder"
    1.11      "compose"
    1.12      "concl"
    1.13      "congs"
    1.14 -    "constants"
    1.15      "constrains"
    1.16      "contains"
    1.17      "defines"
    1.18 @@ -265,6 +263,7 @@
    1.19      "signature"
    1.20      "states"
    1.21      "structure"
    1.22 +    "target_atom"
    1.23      "to"
    1.24      "transitions"
    1.25      "transrel"