CookBook/Recipes/Antiquotes.thy
Wed, 11 Mar 2009 01:43:28 +0000 Christian Urban partially adapted to new antiquotation infrastructure
Sun, 01 Mar 2009 21:48:59 +0000 Christian Urban updated to repository version; added a section about timing
Sat, 28 Feb 2009 14:18:02 +0000 Christian Urban general polishing; added versioning to the document
less more (0) -10 -3 tip