CookBook/Base.thy
Fri, 06 Mar 2009 16:12:16 +0000 Christian Urban rolled back the changes on the function warning and tracing
Thu, 05 Mar 2009 16:46:43 +0000 Christian Urban redefined the functions warning and tracing in order to properly match more antiquotations
Mon, 09 Feb 2009 01:23:35 +0000 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Mon, 26 Jan 2009 12:29:43 +0000 Christian Urban tuned
less more (0) -4 tip