diff -r 71a0a8687d6c -r ee90c67502c9 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Sep 16 11:54:57 2013 +0200
+++ b/etc/isar-keywords.el	Mon Sep 16 15:30:17 2013 +0200
@@ -135,6 +135,8 @@
     "lemmas"
     "let"
     "lift_definition"
+    "lifting_forget"
+    "lifting_update"
     "linear_undo"
     "local_setup"
     "locale"
@@ -539,6 +541,8 @@
     "instantiation"
     "judgment"
     "lemmas"
+    "lifting_forget"
+    "lifting_update"
     "local_setup"
     "locale"
     "method_setup"