updated;

--- a/etc/isar-keywords.el	Sat Nov 03 18:49:40 2001 +0100
+++ b/etc/isar-keywords.el	Sun Nov 04 20:56:19 2001 +0100
@@ -170,13 +170,16 @@
 (defconst isar-keywords-minor
   '("actions"
     "and"
+    "assumes"
     "binder"
     "compose"
     "con_defs"
     "concl"
     "congs"
+    "defines"
     "distinct"
     "files"
+    "fixes"
     "hide_action"
     "hints"
     "in"
@@ -193,6 +196,7 @@
     "lazy"
     "monos"
     "morphisms"
+    "notes"
     "output"
     "outputs"
     "overloaded"
@@ -203,9 +207,11 @@
     "restrict"
     "signature"
     "states"
+    "structure"
     "to"
     "transitions"
     "transrel"
+    "uses"
     "using"
     "where"))