src/HOL/Quotient.thy
changeset 41452 c291e0826902
parent 40818 b117df72e56b
child 41959 b460124855b8
     1.1 --- a/src/HOL/Quotient.thy	Fri Jan 07 21:26:49 2011 +0100
     1.2 +++ b/src/HOL/Quotient.thy	Fri Jan 07 21:51:28 2011 +0100
     1.3 @@ -667,6 +667,7 @@
     1.4  text {* Auxiliary data for the quotient package *}
     1.5  
     1.6  use "Tools/Quotient/quotient_info.ML"
     1.7 +setup Quotient_Info.setup
     1.8  
     1.9  declare [[map "fun" = (map_fun, fun_rel)]]
    1.10