diff -r 68f98953c784 -r 26415966c708 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Jul 14 21:39:08 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Jul 14 22:09:08 2008 +0200
@@ -153,7 +153,6 @@
     "quit"
     "realizability"
     "realizers"
-    "redo"
     "remove_thy"
     "rep_datatype"
     "sect"
@@ -259,7 +258,6 @@
     "kill"
     "linear_undo"
     "quit"
-    "redo"
     "undo"
     "undos_proof"))