# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1256519161 -3600
# Node ID 9ca545f783f6c34543bd04883a55a63d82c46b0b
# Parent  929bc55efff709eb3b93dca199ed82ffddfdeaa0
updated with quotient_def

diff -r 929bc55efff7 -r 9ca545f783f6 isar-keywords-prove.el
--- 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"