# HG changeset patch
# User krauss
# Date 1288179990 -7200
# Node ID 8ec474f94d6184d37ee9dd941f988d3e52f04f27
# Parent  54e5e8e0b2a45603c769297fbb5599635edb459d
regenerated keyword file

diff -r 54e5e8e0b2a4 -r 8ec474f94d61 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Oct 27 08:58:03 2010 +0200
+++ b/etc/isar-keywords.el	Wed Oct 27 13:46:30 2010 +0200
@@ -491,6 +491,7 @@
     "overloading"
     "parse_ast_translation"
     "parse_translation"
+    "partial_function"
     "primrec"
     "print_ast_translation"
     "print_translation"
@@ -536,7 +537,6 @@
     "nominal_inductive"
     "nominal_inductive2"
     "nominal_primrec"
-    "partial_function"
     "pcpodef"
     "quotient_type"
     "recdef_tc"