src/HOL/Fun_Def_Base.thy
2014-08-16 wenzelm 2014-08-16 updated to named_theorems; modernized module name and setup;
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