1.1 --- a/etc/isar-keywords.el Tue Jan 03 00:06:18 2006 +0100
1.2 +++ b/etc/isar-keywords.el Tue Jan 03 00:06:20 2006 +0100
1.3 @@ -197,6 +197,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 @@ -214,7 +215,6 @@
1.12 "advanced"
1.13 "and"
1.14 "assumes"
1.15 - "atom"
1.16 "attach"
1.17 "begin"
1.18 "binder"
1.19 @@ -494,6 +494,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