src/HOL/Fun_Def_Base.thy
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Wed, 29 Oct 2014 13:42:38 +0100 wenzelm modernized setup;
Sat, 16 Aug 2014 19:20:11 +0200 wenzelm updated to named_theorems;
Fri, 07 Mar 2014 14:21:15 +0100 blanchet tuning
Mon, 20 Jan 2014 21:32:41 +0100 blanchet moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain
less more (0) tip