1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Wed Jul 25 22:20:53 2007 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Wed Jul 25 22:20:54 2007 +0200
     1.3 @@ -220,10 +220,8 @@
     1.4      "undos_proof"
     1.5      "unfolding"
     1.6      "update_thy"
     1.7 -    "update_thy_only"
     1.8      "use"
     1.9      "use_thy"
    1.10 -    "use_thy_only"
    1.11      "using"
    1.12      "value"
    1.13      "welcome"
    1.14 @@ -355,10 +353,8 @@
    1.15      "touch_thy"
    1.16      "typ"
    1.17      "update_thy"
    1.18 -    "update_thy_only"
    1.19      "use"
    1.20      "use_thy"
    1.21 -    "use_thy_only"
    1.22      "value"
    1.23      "welcome"))
    1.24