isabelle-cookbook: File revisions

CookBook/Tactical.thy

2009-02-27	Christian Urban	added material to the endless story of the simplifier	file \| diff \| annotate
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	file \| diff \| annotate
2009-02-26	Christian Urban	added a comment about Conv.fun_conv	file \| diff \| annotate
2009-02-26	Christian Urban	polished	file \| diff \| annotate
2009-02-25	Christian Urban	deleted Ad-hoc recipe	file \| diff \| annotate
2009-02-25	Christian Urban	more polishing of the conversion section	file \| diff \| annotate
2009-02-25	Christian Urban	some polishing about conversions	file \| diff \| annotate
2009-02-25	Christian Urban	some very slight polishing on the conversion section	file \| diff \| annotate
2009-02-25	boehmes	Polished conversion section.	file \| diff \| annotate
2009-02-25	boehmes	Merged with new cookbook.pdf.	file \| diff \| annotate
2009-02-25	boehmes	Improved conversion subsection.	file \| diff \| annotate
2009-02-24	Christian Urban	new pfd file	file \| diff \| annotate
2009-02-24	boehmes	First draft for conversions subsection.	file \| diff \| annotate
2009-02-24	Christian Urban	some slight polishing	file \| diff \| annotate

isabelle-cookbook