doc-src/IsarAdvanced/Functions/Thy/document/Functions.tex
Fri, 30 May 2008 17:03:37 +0200 krauss Updated function tutorial.
Mon, 12 May 2008 23:01:13 +0200 wenzelm updated generated file;
Thu, 20 Dec 2007 21:09:38 +0100 wenzelm updated;
Mon, 05 Nov 2007 14:26:41 +0100 krauss changed "treemap" example to "mirror"
Wed, 24 Oct 2007 21:33:37 +0200 wenzelm updated;
Tue, 23 Oct 2007 14:00:06 +0200 wenzelm updated;
Fri, 19 Oct 2007 09:59:46 +0200 krauss Updated function tutorial: Types can be inferred and need not be given anymore
less more (0) -10 -7 tip