diff -r 482a8334ee9e -r 54b6c9e1c157 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sun Dec 05 13:42:58 2010 +0100
+++ b/etc/isar-keywords-ZF.el	Sun Dec 05 14:02:16 2010 +0100
@@ -61,7 +61,6 @@
     "done"
     "enable_pr"
     "end"
-    "example_proof"
     "exit"
     "extract"
     "extract_type"
@@ -415,7 +414,6 @@
 
 (defconst isar-keywords-theory-goal
   '("corollary"
-    "example_proof"
     "instance"
     "interpretation"
     "lemma"