CookBook/Base.thy
Wed, 29 Oct 2008 13:58:36 +0100 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
Fri, 10 Oct 2008 16:59:35 +0200 berghofe New theory for installing antiquotations.
less more (0) tip