etc/isar-keywords.el
changeset 18541 00890455e95f
parent 18520 428c79932b53
child 18552 30911da9fb27
--- 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