# HG changeset patch
# User krauss
# Date 1158144039 -7200
# Node ID 1ca27b3ed2e72036c95398a5bb6730f9449b6b07
# Parent  4ade644022dde7c1d91dd0d97b843a63c0ee1d1c
Updated keyword file

diff -r 4ade644022dd -r 1ca27b3ed2e7 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Wed Sep 13 12:37:13 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Wed Sep 13 12:40:39 2006 +0200
@@ -46,12 +46,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -85,6 +83,7 @@
     "fix"
     "from"
     "full_prf"
+    "fun"
     "function"
     "global"
     "guess"
@@ -372,12 +371,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_type"
     "code_typename"
     "coinductive"
@@ -393,6 +390,7 @@
     "extract"
     "extract_type"
     "finalconsts"
+    "fun"
     "global"
     "hide"
     "inductive"