1.1 --- a/etc/isar-keywords.el Mon Aug 13 21:22:36 2007 +0200
1.2 +++ b/etc/isar-keywords.el Mon Aug 13 21:22:37 2007 +0200
1.3 @@ -222,7 +222,6 @@
1.4 "undo"
1.5 "undos_proof"
1.6 "unfolding"
1.7 - "update_thy"
1.8 "use"
1.9 "use_thy"
1.10 "using"
1.11 @@ -267,6 +266,7 @@
1.12 "internals"
1.13 "is"
1.14 "lazy"
1.15 + "module_name"
1.16 "monos"
1.17 "morphisms"
1.18 "notes"
1.19 @@ -370,7 +370,6 @@
1.20 "touch_child_thys"
1.21 "touch_thy"
1.22 "typ"
1.23 - "update_thy"
1.24 "use"
1.25 "use_thy"
1.26 "value"