1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Sat Nov 11 14:52:25 2006 +0100
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Sat Nov 11 16:11:39 2006 +0100
     1.3 @@ -354,7 +354,7 @@
     1.4    '("theory"))
     1.5  
     1.6  (defconst isar-keywords-theory-switch
     1.7 -  '("context"))
     1.8 +  '())
     1.9  
    1.10  (defconst isar-keywords-theory-end
    1.11    '("end"))
    1.12 @@ -392,6 +392,7 @@
    1.13      "constdefs"
    1.14      "consts"
    1.15      "consts_code"
    1.16 +    "context"
    1.17      "datatype"
    1.18      "defaultsort"
    1.19      "defer_recdef"

     2.1 --- a/etc/isar-keywords-ZF.el	Sat Nov 11 14:52:25 2006 +0100
     2.2 +++ b/etc/isar-keywords-ZF.el	Sat Nov 11 16:11:39 2006 +0100
     2.3 @@ -336,7 +336,7 @@
     2.4    '("theory"))
     2.5  
     2.6  (defconst isar-keywords-theory-switch
     2.7 -  '("context"))
     2.8 +  '())
     2.9  
    2.10  (defconst isar-keywords-theory-end
    2.11    '("end"))
    2.12 @@ -373,6 +373,7 @@
    2.13      "constdefs"
    2.14      "consts"
    2.15      "consts_code"
    2.16 +    "context"
    2.17      "datatype"
    2.18      "defaultsort"
    2.19      "definition"

     3.1 --- a/etc/isar-keywords.el	Sat Nov 11 14:52:25 2006 +0100
     3.2 +++ b/etc/isar-keywords.el	Sat Nov 11 16:11:39 2006 +0100
     3.3 @@ -375,7 +375,7 @@
     3.4    '("theory"))
     3.5  
     3.6  (defconst isar-keywords-theory-switch
     3.7 -  '("context"))
     3.8 +  '())
     3.9  
    3.10  (defconst isar-keywords-theory-end
    3.11    '("end"))
    3.12 @@ -413,6 +413,7 @@
    3.13      "constdefs"
    3.14      "consts"
    3.15      "consts_code"
    3.16 +    "context"
    3.17      "datatype"
    3.18      "defaultsort"
    3.19      "defer_recdef"