isabelle-cookbook: File revisions

ProgTutorial/document/root.tex

2012-06-19	Christian Urban	added a new recipe for introspecting theorems (suggested by Lukas and Rafal)	file \| diff \| annotate
2012-04-30	Christian Urban	removed special ML-setup and replaced it by explicit markups (i.e., %grayML)	file \| diff \| annotate
2011-11-07	Christian Urban	more on contexts	file \| diff \| annotate
2011-10-27	Christian Urban	some tests	file \| diff \| annotate
2011-02-23	Christian Urban	updated to post-2011 Isabelle	file \| diff \| annotate
2010-06-02	Christian Urban	added Andreas	file \| diff \| annotate
2010-05-29	Christian Urban	added example from Tobias and changed the title	file \| diff \| annotate
2009-11-17	Christian Urban	added example by Lukas Bulwahn	file \| diff \| annotate
2009-11-03	Christian Urban	added structure index	file \| diff \| annotate
2009-10-31	Christian Urban	new parts in the tactical section	file \| diff \| annotate
2009-10-25	Christian Urban	some polishing	file \| diff \| annotate
2009-10-14	Christian Urban	slightly tuned	file \| diff \| annotate
2009-10-11	Christian Urban	fixed glitch with tocibind	file \| diff \| annotate
2009-10-10	Christian Urban	used a better implementation of \index in Latex; added more to the theorem section	file \| diff \| annotate

isabelle-cookbook