# HG changeset patch
# User wenzelm
# Date 1004903779 -3600
# Node ID 1e5c01d5fe041b60e41dfec2ba58839e0118eca8
# Parent  27214c16ebe406fdbf30c371bfb8cf7e33270223
updated;

diff -r 27214c16ebe4 -r 1e5c01d5fe04 etc/isar-keywords.el
--- 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"))