CookBook/FirstSteps.thy
2009-02-27 Christian Urban added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section
less more (0) -30 -10 -1 tip