src/HOL/Tools/Function/function_lib.ML
Mon, 18 Apr 2016 14:30:24 +0200 wenzelm clarified bindings;
Sun, 17 Apr 2016 22:10:09 +0200 wenzelm clarified bindings;
Thu, 07 Jan 2016 15:53:39 +0100 wenzelm more uniform treatment of package internals;
less more (0) -30 -10 -3 tip