isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -16 tip

cookbook.pdf

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

less more (0) -100 -16 tip

isabelle-cookbook