src/HOL/Tools/Function/function_lib.ML
2010-01-02 krauss 2010-01-02 new year's resolution: reindented code in function package
2009-11-23 krauss 2009-11-23 eliminated dead code and some unused bindings, reported by polyml
2009-11-11 haftmann 2009-11-11 tuned
2009-10-23 krauss 2009-10-23 function package: more standard names for structures and files