etc/isar-keywords-ZF.el
changeset 17552 744924bec974
parent 17220 b41d8e290bf8
child 17850 6803625e71c4
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Sep 21 12:02:56 2005 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Sep 21 12:03:41 2005 +0200
     1.3 @@ -156,7 +156,6 @@
     1.4      "theory"
     1.5      "thm"
     1.6      "thm_deps"
     1.7 -    "thms_containing"
     1.8      "thus"
     1.9      "token_translation"
    1.10      "touch_all_thys"
    1.11 @@ -179,6 +178,7 @@
    1.12      "use_thy"
    1.13      "use_thy_only"
    1.14      "using"
    1.15 +    "value"
    1.16      "welcome"
    1.17      "with"
    1.18      "{"
    1.19 @@ -287,7 +287,6 @@
    1.20      "term"
    1.21      "thm"
    1.22      "thm_deps"
    1.23 -    "thms_containing"
    1.24      "touch_all_thys"
    1.25      "touch_child_thys"
    1.26      "touch_thy"
    1.27 @@ -297,6 +296,7 @@
    1.28      "use"
    1.29      "use_thy"
    1.30      "use_thy_only"
    1.31 +    "value"
    1.32      "welcome"))
    1.33  
    1.34  (defconst isar-keywords-theory-begin