--- a/src/HOL/Quotient.thy Fri Jan 07 21:26:49 2011 +0100
+++ b/src/HOL/Quotient.thy Fri Jan 07 21:51:28 2011 +0100
@@ -667,6 +667,7 @@
text {* Auxiliary data for the quotient package *}
use "Tools/Quotient/quotient_info.ML"
+setup Quotient_Info.setup
declare [[map "fun" = (map_fun, fun_rel)]]