1.1 --- a/etc/isar-keywords.el	Fri Apr 16 22:45:07 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Apr 16 22:52:49 2010 +0200
     1.3 @@ -115,7 +115,10 @@
     1.4      "header"
     1.5      "help"
     1.6      "hence"
     1.7 -    "hide"
     1.8 +    "hide_class"
     1.9 +    "hide_const"
    1.10 +    "hide_fact"
    1.11 +    "hide_type"
    1.12      "inductive"
    1.13      "inductive_cases"
    1.14      "inductive_set"
    1.15 @@ -494,7 +497,10 @@
    1.16      "fixrec"
    1.17      "fun"
    1.18      "global"
    1.19 -    "hide"
    1.20 +    "hide_class"
    1.21 +    "hide_const"
    1.22 +    "hide_fact"
    1.23 +    "hide_type"
    1.24      "inductive"
    1.25      "inductive_set"
    1.26      "instantiation"