# HG changeset patch
# User wenzelm
# Date 1136243180 -3600
# Node ID 00890455e95f8f8b470260082bc1a42c77ecbfd5
# Parent  7b6f57406b1b1e446030bc367ca46858b2def1be
updated -- lost update!?

diff -r 7b6f57406b1b -r 00890455e95f 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
diff -r 7b6f57406b1b -r 00890455e95f etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Jan 03 00:06:18 2006 +0100
+++ b/etc/isar-keywords.el	Tue Jan 03 00:06:20 2006 +0100
@@ -197,6 +197,7 @@
     "ultimately"
     "undo"
     "undos_proof"
+    "unfolding"
     "update_thy"
     "update_thy_only"
     "use"
@@ -214,7 +215,6 @@
     "advanced"
     "and"
     "assumes"
-    "atom"
     "attach"
     "begin"
     "binder"
@@ -494,6 +494,7 @@
     "note"
     "txt"
     "txt_raw"
+    "unfolding"
     "using"))
 
 (defconst isar-keywords-proof-asm