changeset 54788 | ee90c67502c9 |
parent 54774 | f8147d885600 |
child 54905 | 46a2154f250c |
1.1 --- a/etc/isar-keywords.el Mon Sep 16 11:54:57 2013 +0200 1.2 +++ b/etc/isar-keywords.el Mon Sep 16 15:30:17 2013 +0200 1.3 @@ -135,6 +135,8 @@ 1.4 "lemmas" 1.5 "let" 1.6 "lift_definition" 1.7 + "lifting_forget" 1.8 + "lifting_update" 1.9 "linear_undo" 1.10 "local_setup" 1.11 "locale" 1.12 @@ -539,6 +541,8 @@ 1.13 "instantiation" 1.14 "judgment" 1.15 "lemmas" 1.16 + "lifting_forget" 1.17 + "lifting_update" 1.18 "local_setup" 1.19 "locale" 1.20 "method_setup"