src/HOL/Fun_Def_Base.thy
2015-07-18 wenzelm isabelle update_cartouches;
2014-11-02 wenzelm modernized header uniformly as section;
2014-10-29 wenzelm modernized setup;
2014-08-16 wenzelm updated to named_theorems;
2014-03-07 blanchet tuning
2014-01-20 blanchet moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain
less more (0) tip