isabelle-cookbook: File revisions

progtutorial.pdf

2011-05-17	Christian Urban	merged	file \| diff \| annotate
2011-05-17	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2011-04-19	Christian Urban	updated	file \| diff \| annotate
2011-04-06	Christian Urban	Updated to changes in timing structure	file \| diff \| annotate
2011-03-18	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	a bit closer to the new conventions of naming HOL-constants	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	tuned	file \| diff \| annotate
2010-08-13	Christian Urban	added an example to be used for conversions later on	file \| diff \| annotate
2010-08-13	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-07-28	Christian Urban	merged	file \| diff \| annotate
2010-07-28	Christian Urban	merged	file \| diff \| annotate
2010-07-28	Christian Urban	updated to new isabelle	file \| diff \| annotate

isabelle-cookbook