CookBook/Base.thy
2009-02-09 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
2009-01-26 Christian Urban tuned
2009-01-08 Christian Urban deleted old files and added code to give a special tag to the command ML
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