src/HOL/Tools/Function/function_common.ML
Sun, 01 Nov 2009 20:59:34 +0100 wenzelm adapted Item_Net;
Sat, 24 Oct 2009 20:47:10 +0200 krauss configuration flag "partials"
Fri, 23 Oct 2009 16:22:10 +0200 krauss function package: more standard names for structures and files
less more (0) tip