src/HOL/Datatype.thy
changeset 41372 551eb49a6e91
parent 40969 fb2d3ccda5a7
child 41505 6d19301074cf
     1.1 --- a/src/HOL/Datatype.thy	Tue Dec 21 16:14:46 2010 +0100
     1.2 +++ b/src/HOL/Datatype.thy	Tue Dec 21 17:52:23 2010 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  subsection {* Prelude: lifting over function space *}
     1.6  
     1.7 -type_lifting map_fun
     1.8 +type_lifting map_fun: map_fun
     1.9    by (simp_all add: fun_eq_iff)
    1.10  
    1.11