etc/isar-keywords.el
changeset 53651 ee90c67502c9
parent 53637 f8147d885600
child 53768 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"