isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

cookbook.pdf

2009-03-05	Christian Urban	redefined the functions warning and tracing in order to properly match more antiquotations	file \| diff \| annotate
2009-03-04	Christian Urban	updated to chages in binding module	file \| diff \| annotate
2009-03-04	Christian Urban	removed infix_conv and moved function no_vars into the FirstSteps chapter	file \| diff \| annotate
2009-03-04	Christian Urban	added more to the simplifier section	file \| diff \| annotate
2009-03-03	Christian Urban	polished	file \| diff \| annotate
2009-03-01	Christian Urban	updated to repository version; added a section about timing	file \| diff \| annotate
2009-02-28	Christian Urban	general polishing; added versioning to the document	file \| diff \| annotate
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	Christian Urban	new pdf file	file \| diff \| annotate
2009-02-25	Christian Urban	merged with Sascha	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-25	Christian Urban	included comment from Sascha	file \| diff \| annotate
2009-02-24	Christian Urban	new pfd file	file \| diff \| annotate
2009-02-24	Christian Urban	to be in sync with Sascha	file \| diff \| annotate
2009-02-24	boehmes	First draft for conversions subsection.	file \| diff \| annotate

less more (0) -100 -50 -24 tip

isabelle-cookbook

RSS Atom