CookBook/Recipes/Timing.thy
2009-03-11 Christian Urban polished somewhat the recipes and solutions
2009-03-11 Christian Urban added temporarily some timing test about conversions and simprocs
2009-03-04 Christian Urban added more to the simplifier section
2009-03-02 Christian Urban tuned
2009-03-01 Christian Urban updated to repository version; added a section about timing
less more (0) tip