src/HOL/Fun_Def_Base.thy
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;
less more (0) -4 tip