src/HOL/Fun_Def_Base.thy
2014-03-07 blanchet 2014-03-07 tuning
2014-01-20 blanchet 2014-01-20 moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain