# HG changeset patch
# User haftmann
# Date 1289990326 -3600
# Node ID e14bbfee8804a70211bef382c4344e8714c66250
# Parent  28cc2acbc58aab368e5e3e4f5cfe55c2bbed6912
updated keywords

diff -r 28cc2acbc58a -r e14bbfee8804 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Nov 17 11:27:48 2010 +0100
+++ b/etc/isar-keywords.el	Wed Nov 17 11:38:46 2010 +0100
@@ -81,6 +81,7 @@
     "display_drafts"
     "domain"
     "domain_isomorphism"
+    "domaindef"
     "done"
     "enable_pr"
     "end"
@@ -207,7 +208,6 @@
     "refute_params"
     "remove_thy"
     "rep_datatype"
-    "repdef"
     "schematic_corollary"
     "schematic_lemma"
     "schematic_theorem"
@@ -247,6 +247,7 @@
     "txt"
     "txt_raw"
     "typ"
+    "type_mapper"
     "type_notation"
     "typed_print_translation"
     "typedecl"
@@ -460,6 +461,7 @@
     "defs"
     "domain"
     "domain_isomorphism"
+    "domaindef"
     "equivariance"
     "extract"
     "extract_type"
@@ -501,7 +503,6 @@
     "recdef"
     "record"
     "refute_params"
-    "repdef"
     "setup"
     "simproc_setup"
     "sledgehammer_params"
@@ -548,6 +549,7 @@
     "sublocale"
     "termination"
     "theorem"
+    "type_mapper"
     "typedef"))
 
 (defconst isar-keywords-qed