doc-src/Functions/Thy/Functions.thy
Fri, 27 May 2011 21:11:44 +0200 krauss function tutorial: do not omit termination proof, even when discussing other things
less more (0) -1 tip