CookBook/Recipes/NamedThms.thy
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
less more (0) -3 tip