isabelle-cookbook: File revisions

ProgTutorial/Intro.thy

2012-06-21	Christian Urban	tuned	file \| diff \| annotate
2012-06-20	Christian Urban	tuned	file \| diff \| annotate
2012-06-20	Christian Urban	moved the introspection part into the theorem section	file \| diff \| annotate
2012-06-19	Christian Urban	polished	file \| diff \| annotate
2012-06-19	Christian Urban	added a new recipe for introspecting theorems (suggested by Lukas and Rafal)	file \| diff \| annotate
2012-06-18	Christian Urban	updated	file \| diff \| annotate
2012-06-18	Christian Urban	polished	file \| diff \| annotate
2012-06-18	Christian Urban	improved new_command section	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-17	Christian Urban	tuned	file \| diff \| annotate
2011-11-06	Christian Urban	a section about theories and setups	file \| diff \| annotate
2011-11-05	Christian Urban	added section about testboard	file \| diff \| annotate
2011-06-21	Christian Urban	added an excercise originally by Jasmin Blanchette	file \| diff \| annotate
2011-06-17	Christian Urban	a little polishing	file \| diff \| annotate
2011-05-17	Christian Urban	updated to new Isabelle	file \| diff \| annotate

isabelle-cookbook