src/HOL/Tools/Function/function_core.ML
Fri, 30 Oct 2009 01:32:06 +0100 krauss tuned
Fri, 30 Oct 2009 01:32:06 +0100 krauss absorbed inductive_wrap function into Function_Core; more conventional argument order; tuned
Wed, 28 Oct 2009 16:25:27 +0100 wenzelm conceal internal bindings;
Fri, 23 Oct 2009 16:22:10 +0200 krauss function package: more standard names for structures and files
less more (0) tip