CookBook/Recipes/Antiquotes.thy
Thu, 12 Mar 2009 14:25:35 +0000 Christian Urban simplified antiquotations
Wed, 11 Mar 2009 22:34:49 +0000 Christian Urban polished somewhat the recipes and solutions
Wed, 11 Mar 2009 01:43:28 +0000 Christian Urban partially adapted to new antiquotation infrastructure
less more (0) -10 -3 tip