updated;
authorwenzelm
Tue Jun 06 20:42:27 2006 +0200 (2006-06-06)
changeset 19797a527b3e1076a
parent 19796 d86e7b1fc472
child 19798 94f12468bbba
updated;
etc/isar-keywords-HOL-Nominal.el
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Tue Jun 06 20:42:25 2006 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Tue Jun 06 20:42:27 2006 +0200
     1.3 @@ -96,6 +96,7 @@
     1.4      "instance"
     1.5      "interpret"
     1.6      "interpretation"
     1.7 +    "invoke"
     1.8      "judgment"
     1.9      "kill"
    1.10      "kill_thy"
    1.11 @@ -230,7 +231,9 @@
    1.12      "distinct"
    1.13      "file"
    1.14      "fixes"
    1.15 +    "for"
    1.16      "hints"
    1.17 +    "if"
    1.18      "imports"
    1.19      "in"
    1.20      "includes"
    1.21 @@ -460,6 +463,7 @@
    1.22    '("have"
    1.23      "hence"
    1.24      "interpret"
    1.25 +    "invoke"
    1.26      "show"
    1.27      "thus"))
    1.28  
     2.1 --- a/etc/isar-keywords-ZF.el	Tue Jun 06 20:42:25 2006 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Tue Jun 06 20:42:27 2006 +0200
     2.3 @@ -92,6 +92,7 @@
     2.4      "instance"
     2.5      "interpret"
     2.6      "interpretation"
     2.7 +    "invoke"
     2.8      "judgment"
     2.9      "kill"
    2.10      "kill_thy"
    2.11 @@ -220,6 +221,8 @@
    2.12      "elimination"
    2.13      "file"
    2.14      "fixes"
    2.15 +    "for"
    2.16 +    "if"
    2.17      "imports"
    2.18      "in"
    2.19      "includes"
    2.20 @@ -437,6 +440,7 @@
    2.21    '("have"
    2.22      "hence"
    2.23      "interpret"
    2.24 +    "invoke"
    2.25      "show"
    2.26      "thus"))
    2.27  
     3.1 --- a/etc/isar-keywords.el	Tue Jun 06 20:42:25 2006 +0200
     3.2 +++ b/etc/isar-keywords.el	Tue Jun 06 20:42:27 2006 +0200
     3.3 @@ -100,6 +100,7 @@
     3.4      "instance"
     3.5      "interpret"
     3.6      "interpretation"
     3.7 +    "invoke"
     3.8      "judgment"
     3.9      "kill"
    3.10      "kill_thy"
    3.11 @@ -236,8 +237,10 @@
    3.12      "distinct"
    3.13      "file"
    3.14      "fixes"
    3.15 +    "for"
    3.16      "hide_action"
    3.17      "hints"
    3.18 +    "if"
    3.19      "imports"
    3.20      "in"
    3.21      "includes"
    3.22 @@ -485,6 +488,7 @@
    3.23    '("have"
    3.24      "hence"
    3.25      "interpret"
    3.26 +    "invoke"
    3.27      "show"
    3.28      "thus"))
    3.29