# HG changeset patch # User wenzelm # Date 1149619347 -7200 # Node ID a527b3e1076a9f7ac07694d383d1c204b370b76b # Parent d86e7b1fc472f186ccf608cf5b8020540ea1a0af updated; diff -r d86e7b1fc472 -r a527b3e1076a etc/isar-keywords-HOL-Nominal.el --- a/etc/isar-keywords-HOL-Nominal.el Tue Jun 06 20:42:25 2006 +0200 +++ b/etc/isar-keywords-HOL-Nominal.el Tue Jun 06 20:42:27 2006 +0200 @@ -96,6 +96,7 @@ "instance" "interpret" "interpretation" + "invoke" "judgment" "kill" "kill_thy" @@ -230,7 +231,9 @@ "distinct" "file" "fixes" + "for" "hints" + "if" "imports" "in" "includes" @@ -460,6 +463,7 @@ '("have" "hence" "interpret" + "invoke" "show" "thus")) diff -r d86e7b1fc472 -r a527b3e1076a etc/isar-keywords-ZF.el --- a/etc/isar-keywords-ZF.el Tue Jun 06 20:42:25 2006 +0200 +++ b/etc/isar-keywords-ZF.el Tue Jun 06 20:42:27 2006 +0200 @@ -92,6 +92,7 @@ "instance" "interpret" "interpretation" + "invoke" "judgment" "kill" "kill_thy" @@ -220,6 +221,8 @@ "elimination" "file" "fixes" + "for" + "if" "imports" "in" "includes" @@ -437,6 +440,7 @@ '("have" "hence" "interpret" + "invoke" "show" "thus")) diff -r d86e7b1fc472 -r a527b3e1076a etc/isar-keywords.el --- a/etc/isar-keywords.el Tue Jun 06 20:42:25 2006 +0200 +++ b/etc/isar-keywords.el Tue Jun 06 20:42:27 2006 +0200 @@ -100,6 +100,7 @@ "instance" "interpret" "interpretation" + "invoke" "judgment" "kill" "kill_thy" @@ -236,8 +237,10 @@ "distinct" "file" "fixes" + "for" "hide_action" "hints" + "if" "imports" "in" "includes" @@ -485,6 +488,7 @@ '("have" "hence" "interpret" + "invoke" "show" "thus"))