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)
Tue, 28 Sep 2010 09:54:07 +0200 krauss no longer declare .psimps rules as [simp].
less more (0) -2 tip