CookBook/Solutions.thy
2009-03-04 Christian Urban removed infix_conv and moved function no_vars into the FirstSteps chapter
2009-03-03 Christian Urban polished
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-23 Christian Urban polished
2009-02-22 Christian Urban polished the section about simprocs and added an exercise
2009-01-26 Christian Urban tuned
less more (0) -10 -6 tip