History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Fun_Def_Base.thy
Revision Date Author Comments
# 1901affb 18-Jul-2015 wenzelm <none@none>

isabelle update_cartouches;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 4d000744 29-Oct-2014 wenzelm <none@none>

modernized setup;
more standard module name;

--HG--
rename : src/HOL/Tools/Function/context_tree.ML => src/HOL/Tools/Function/function_context_tree.ML
# 9067b570 16-Aug-2014 wenzelm <none@none>

updated to named_theorems;
modernized module name and setup;
# 147d4ad6 07-Mar-2014 blanchet <none@none>

tuning
# d46ef5de 20-Jan-2014 blanchet <none@none>

moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain

--HG--
rename : src/HOL/FunDef.thy => src/HOL/Fun_Def.thy