ProgTutorial/Recipes/Timing.thy
2013-04-19 Christian Urban updated to simplifier change
less more (0) -1 tip