CookBook/Recipes/NamedThms.thy
Wed, 14 Jan 2009 16:46:07 +0000 Christian Urban added more to the "new command section" and tuning
Thu, 08 Jan 2009 22:46:06 +0000 Christian Urban tuned
Tue, 16 Dec 2008 17:28:05 +0000 Christian Urban fixed typos
Fri, 28 Nov 2008 05:19:55 +0100 Christian Urban completes the recipie on antiquotations
Sat, 01 Nov 2008 15:20:36 +0100 Christian Urban fixed FIXME's in fake responses
Thu, 30 Oct 2008 13:36:51 +0100 Christian Urban hakked latex so that it does not display ML {* *}; general tuning
less more (0) -10 -6 tip