isabelle-cookbook: File revisions

ProgTutorial/Intro.thy

2010-05-24	Christian Urban	added phi for morphisms	file \| diff \| annotate
2010-04-24	Christian Urban	added a section to the introduction; described @{make_string}	file \| diff \| annotate
2010-02-11	Christian Urban	typos fixed by Michael Norrish	file \| diff \| annotate
2010-01-08	Christian Urban	polished	file \| diff \| annotate
2009-11-17	Christian Urban	modified the typ-pretty-printer and added parser exercise	file \| diff \| annotate
2009-11-17	Christian Urban	added example by Lukas Bulwahn	file \| diff \| annotate
2009-10-25	Christian Urban	some polishing	file \| diff \| annotate
2009-10-22	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-10-19	Christian Urban	completed section on theorems	file \| diff \| annotate
2009-10-13	Christian Urban	tuned the ML-output mechanism; tuned slightly the text	file \| diff \| annotate
2009-10-11	Christian Urban	polished first chapter	file \| diff \| annotate
2009-10-07	Christian Urban	reorganised the certified terms section; tuned	file \| diff \| annotate
2009-10-03	Christian Urban	more work	file \| diff \| annotate
2009-10-03	Christian Urban	updated to new Isabelle; more work on the data section	file \| diff \| annotate
2009-09-28	Christian Urban	updated foobar_proof example	file \| diff \| annotate
2009-08-05	Christian Urban	tuned the section about printing several bits of inormation	file \| diff \| annotate

isabelle-cookbook