CookBook/Intro.thy
2008-12-13 Christian Urban tuned; added document antiquotation ML_response_fake_both
2008-11-28 Christian Urban tuned
2008-11-25 Christian Urban tuned
2008-10-29 Christian Urban added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
2008-10-29 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
2008-10-27 Christian Urban tuned mostly antiquotation and text
2008-10-01 Christian Urban various changes by Alex and Christian
2008-09-30 Christian Urban tuned and updated antquote_setup.ML
2008-09-15 Christian Urban some tuning
2008-09-09 Christian Urban minor modifiations to the Intro and FirstSteps chapters
2008-09-05 Christian Urban split the document into smaller pieces;
less more (0) tip