# HG changeset patch
# User haftmann
# Date 1291624497 -3600
# Node ID 3208d3b0a3ddc9baf6f8c2c25d055b0df92c0749
# Parent  fb2d3ccda5a785e275c4233ae16e897d116e946d
replace `type_mapper` by the more adequate `type_lifting`

diff -r fb2d3ccda5a7 -r 3208d3b0a3dd etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Dec 06 09:25:05 2010 +0100
+++ b/etc/isar-keywords.el	Mon Dec 06 09:34:57 2010 +0100
@@ -248,7 +248,7 @@
     "txt"
     "txt_raw"
     "typ"
-    "type_mapper"
+    "type_lifting"
     "type_notation"
     "typed_print_translation"
     "typedecl"
@@ -551,7 +551,7 @@
     "sublocale"
     "termination"
     "theorem"
-    "type_mapper"
+    "type_lifting"
     "typedef"))
 
 (defconst isar-keywords-qed