--- a/isar-keywords-prove.el	Sun Oct 25 23:44:41 2009 +0100
+++ b/isar-keywords-prove.el	Mon Oct 26 02:06:01 2009 +0100
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + HOL + Pure-ProofGeneral + HOL-Nominal-test.
+;; Generated from HOL + Pure + Pure-ProofGeneral + HOL-Nominal-test.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 
@@ -184,6 +184,7 @@
     "quickcheck_params"
     "quit"
     "quotient"
+    "quotient_def"
     "realizability"
     "realizers"
     "recdef"
@@ -456,6 +457,7 @@
     "print_ast_translation"
     "print_translation"
     "quickcheck_params"
+    "quotient_def"
     "realizability"
     "realizers"
     "recdef"