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