CookBook/Recipes/TimeLimit.thy
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
2009-01-14 Christian Urban highligted the background of ML-code
2009-01-14 Christian Urban added more to the "new command section" and tuning
less more (0) -3 tip