# HG changeset patch
# User haftmann
# Date 1272462130 -7200
# Node ID 3e677ca1e564fbc162938b6323f6b53fb5891971
# Parent  5aae37575885443b3f791517dc396cb52b2fbeb2
updated keywords

diff -r 5aae37575885 -r 3e677ca1e564 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Apr 28 15:17:13 2010 +0200
+++ b/etc/isar-keywords.el	Wed Apr 28 15:42:10 2010 +0200
@@ -61,6 +61,7 @@
     "code_modulename"
     "code_monad"
     "code_pred"
+    "code_reflect"
     "code_reserved"
     "code_thms"
     "code_type"
@@ -288,10 +289,12 @@
     "congs"
     "constrains"
     "contains"
+    "datatypes"
     "defines"
     "file"
     "fixes"
     "for"
+    "functions"
     "hide_action"
     "hints"
     "identifier"
@@ -466,6 +469,7 @@
     "code_module"
     "code_modulename"
     "code_monad"
+    "code_reflect"
     "code_reserved"
     "code_type"
     "coinductive"