doc-src/Functions/Thy/Functions.thy
Fri, 25 Feb 2011 16:59:48 +0100 krauss removed support for tail-recursion from function package (now implemented by partial_function)
less more (0) -1 tip