CookBook/Recipes/NamedThms.thy
2009-01-16 Christian Urban tuned
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
2009-01-14 Christian Urban highligted the background of ML-code
2009-01-14 Christian Urban added more to the "new command section" and tuning
2009-01-08 Christian Urban tuned
2008-12-16 Christian Urban fixed typos
2008-11-28 Christian Urban completes the recipie on antiquotations
2008-11-01 Christian Urban fixed FIXME's in fake responses
2008-10-30 Christian Urban hakked latex so that it does not display ML {* *}; general tuning
2008-10-29 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
2008-10-10 berghofe Antiquotation setup is now contained in theory Base.
2008-10-06 Christian Urban some slight polishing
2008-10-02 Christian Urban added a solution section and some other minor additions
2008-10-02 Christian Urban added a paragraph about "uses" and started a paragraph about tracing
2008-10-02 Christian Urban polished and added a subdirectory for the recipes
less more (0) tip