src/HOL/Tools/Function/function_lib.ML
Sat, 02 Jan 2010 23:18:58 +0100 krauss new year's resolution: reindented code in function package
Mon, 23 Nov 2009 15:05:59 +0100 krauss eliminated dead code and some unused bindings, reported by polyml
Wed, 11 Nov 2009 10:06:30 +0100 haftmann tuned
Fri, 23 Oct 2009 16:22:10 +0200 krauss function package: more standard names for structures and files
less more (0) tip