CookBook/Appendix.thy
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