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