CookBook/antiquote_setup.ML
2008-09-30 Christian Urban tuned and updated antquote_setup.ML
2008-09-17 Christian Urban added new version
2008-09-05 Christian Urban split the document into smaller pieces;
less more (0) tip