isabelle-cookbook: File revisions

cookbook.pdf

Wed, 04 Mar 2009 14:26:21 +0000	Christian Urban	updated to chages in binding module	file \| diff \| annotate
Wed, 04 Mar 2009 13:50:47 +0000	Christian Urban	removed infix_conv and moved function no_vars into the FirstSteps chapter	file \| diff \| annotate
Wed, 04 Mar 2009 13:15:29 +0000	Christian Urban	added more to the simplifier section	file \| diff \| annotate
Tue, 03 Mar 2009 13:00:55 +0000	Christian Urban	polished	file \| diff \| annotate
Sun, 01 Mar 2009 21:48:59 +0000	Christian Urban	updated to repository version; added a section about timing	file \| diff \| annotate
Sat, 28 Feb 2009 14:18:02 +0000	Christian Urban	general polishing; added versioning to the document	file \| diff \| annotate
Fri, 27 Feb 2009 15:59:38 +0000	Christian Urban	added material to the endless story of the simplifier	file \| diff \| annotate
Fri, 27 Feb 2009 13:02:19 +0000	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

isabelle-cookbook