CookBook/Base.thy
2008-12-16 berghofe Repaired output of marginal comments in ML antiquotation.
2008-10-29 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
2008-10-10 berghofe New theory for installing antiquotations.
less more (0) tip