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