CookBook/Appendix.thy
2009-03-17 Christian Urban added hyperlinks for every file pointer
2009-03-11 Christian Urban polished somewhat the recipes and solutions
2009-03-10 Christian Urban more work on simple_inductive
2009-03-06 Christian Urban some additions to the simplifier section and general tuning
2009-02-23 Christian Urban polished
2009-02-22 Christian Urban started a section about simprocs
2009-01-15 Christian Urban used newly exported break reference in ThyOutput for writing separate output_list function
2008-10-02 Christian Urban polished and added a subdirectory for the recipes
less more (0) tip