1.1 --- a/etc/isar-keywords-ZF.el Tue Jan 03 00:06:18 2006 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Tue Jan 03 00:06:20 2006 +0100
1.3 @@ -183,6 +183,7 @@
1.4 "ultimately"
1.5 "undo"
1.6 "undos_proof"
1.7 + "unfolding"
1.8 "update_thy"
1.9 "update_thy_only"
1.10 "use"
1.11 @@ -199,7 +200,6 @@
1.12 '("advanced"
1.13 "and"
1.14 "assumes"
1.15 - "atom"
1.16 "attach"
1.17 "begin"
1.18 "binder"
1.19 @@ -450,6 +450,7 @@
1.20 "note"
1.21 "txt"
1.22 "txt_raw"
1.23 + "unfolding"
1.24 "using"))
1.25
1.26 (defconst isar-keywords-proof-asm
2.1 --- a/etc/isar-keywords.el Tue Jan 03 00:06:18 2006 +0100
2.2 +++ b/etc/isar-keywords.el Tue Jan 03 00:06:20 2006 +0100
2.3 @@ -197,6 +197,7 @@
2.4 "ultimately"
2.5 "undo"
2.6 "undos_proof"
2.7 + "unfolding"
2.8 "update_thy"
2.9 "update_thy_only"
2.10 "use"
2.11 @@ -214,7 +215,6 @@
2.12 "advanced"
2.13 "and"
2.14 "assumes"
2.15 - "atom"
2.16 "attach"
2.17 "begin"
2.18 "binder"
2.19 @@ -494,6 +494,7 @@
2.20 "note"
2.21 "txt"
2.22 "txt_raw"
2.23 + "unfolding"
2.24 "using"))
2.25
2.26 (defconst isar-keywords-proof-asm