etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Tue Jan 03 00:06:18 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Jan 03 00:06:20 2006 +0100
@@ -183,6 +183,7 @@
     "ultimately"
     "undo"
     "undos_proof"
+    "unfolding"
     "update_thy"
     "update_thy_only"
     "use"
@@ -199,7 +200,6 @@
   '("advanced"
     "and"
     "assumes"
-    "atom"
     "attach"
     "begin"
     "binder"
@@ -450,6 +450,7 @@
     "note"
     "txt"
     "txt_raw"
+    "unfolding"
     "using"))
 
 (defconst isar-keywords-proof-asm