CookBook/Tactical.thy
2009-02-25 Christian Urban deleted Ad-hoc recipe
2009-02-25 Christian Urban more polishing of the conversion section
2009-02-25 Christian Urban some polishing about conversions
2009-02-25 Christian Urban some very slight polishing on the conversion section
2009-02-25 boehmes Polished conversion section.
2009-02-25 boehmes Merged with new cookbook.pdf.
2009-02-25 boehmes Improved conversion subsection.
less more (0) -10 -7 tip