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
2009-02-26 Christian Urban polished
2009-02-25 Christian Urban included comment from Sascha
2009-02-24 Christian Urban to be in sync with Sascha
2009-02-24 Christian Urban some slight polishing
2009-02-24 Christian Urban polishing and start of the section about attributes
2009-02-23 Christian Urban polished
2009-02-23 Christian Urban polished
2009-02-21 Christian Urban polished
2009-02-20 Christian Urban updated and added two tentative recipes
2009-02-19 Christian Urban polished
2009-02-18 Christian Urban added to the first-steps section
less more (0) -12 tip