isabelle-cookbook: File revisions

CookBook/FirstSteps.thy

Fri, 06 Mar 2009 16:12:16 +0000	Christian Urban	rolled back the changes on the function warning and tracing	file \| diff \| annotate
Thu, 05 Mar 2009 16:46:43 +0000	Christian Urban	redefined the functions warning and tracing in order to properly match more antiquotations	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
Sat, 28 Feb 2009 14:18:02 +0000	Christian Urban	general polishing; added versioning to the document	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
Thu, 26 Feb 2009 12:16:24 +0000	Christian Urban	polished	file \| diff \| annotate

isabelle-cookbook