src/HOL/Fun_Def.thy
2014-03-22 haftmann 2014-03-22 generalized and strengthened cong rules on compound operators, similar to 1ed737a98198
2014-03-07 blanchet 2014-03-07 tuning
2014-02-14 blanchet 2014-02-14 merged 'Option.map' and 'Option.map_option'
2014-01-20 blanchet 2014-01-20 moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain