isabelle-cookbook: File revisions

ProgTutorial/Essential.thy

2012-01-21	Christian Urban	modified the passage on beta-contractions	file \| diff \| annotate
2011-11-30	Christian Urban	updated to Isabelle 30 November	file \| diff \| annotate
2011-11-17	Christian Urban	tuned	file \| diff \| annotate
2011-11-02	Christian Urban	tuned	file \| diff \| annotate
2011-10-30	Christian Urban	updated	file \| diff \| annotate
2011-06-21	Christian Urban	added an excercise originally by Jasmin Blanchette	file \| diff \| annotate
2011-06-14	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2011-02-23	Christian Urban	updated to post-2011 Isabelle	file \| diff \| annotate
2010-10-29	Christian Urban	disabled foobar_prove; updated to new Isabelle	file \| diff \| annotate
2010-08-28	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-08-22	Christian Urban	added something about Goal.prove_multi	file \| diff \| annotate
2010-08-13	Christian Urban	added an example to be used for conversions later on	file \| diff \| annotate
2010-07-28	Christian Urban	test	file \| diff \| annotate
2010-07-20	Christian Urban	partially moved from string_of_term to pretty_term	file \| diff \| annotate

isabelle-cookbook