isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/FirstSteps.thy

2009-08-16	Christian Urban	tuned	file \| diff \| annotate
2009-08-16	Christian Urban	improvements from the workshop	file \| diff \| annotate
2009-08-13	Christian Urban	suggestions by Peter Homeier	file \| diff \| annotate
2009-08-05	Christian Urban	tuned the section about printing several bits of inormation	file \| diff \| annotate
2009-08-05	Christian Urban	added a comment for printing out information and tuned some examples accordingly	file \| diff \| annotate
2009-08-05	Christian Urban	polished comment for error function	file \| diff \| annotate
2009-08-03	Christian Urban	replaced "writeln" with "tracing"	file \| diff \| annotate
2009-08-02	Christian Urban	updated to Isabelle changes and merged sections in the FirstSteps chapter	file \| diff \| annotate
2009-08-01	Christian Urban	some general polishing	file \| diff \| annotate
2009-07-28	Christian Urban	slightly changed exercises about rev_sum	file \| diff \| annotate
2009-07-28	Christian Urban	added more to the ML-antiquotation section	file \| diff \| annotate
2009-07-26	Christian Urban	slight change	file \| diff \| annotate
2009-07-22	griff	typo	file \| diff \| annotate
2009-07-22	griff	typo	file \| diff \| annotate
2009-07-22	griff	typo	file \| diff \| annotate
2009-07-22	griff	spell checked	file \| diff \| annotate
2009-07-22	griff	reformulation	file \| diff \| annotate
2009-07-21	Christian Urban	merged	file \| diff \| annotate
2009-07-21	griff	label for exercise	file \| diff \| annotate
2009-07-21	griff	show type of "x"	file \| diff \| annotate
2009-07-21	griff	still merging	file \| diff \| annotate
2009-07-21	griff	modified solution(s) for "revsum" example	file \| diff \| annotate
2009-07-21	griff	show the type of "x" in the formula	file \| diff \| annotate
2009-07-21	griff	discussion of "const_name" before exercises	file \| diff \| annotate
2009-07-21	griff	if n would be 0, rev_sum would be missing an argument	file \| diff \| annotate
2009-07-21	Christian Urban	tuned	file \| diff \| annotate
2009-07-20	Christian Urban	small changes for latest changes in Isabelle	file \| diff \| annotate
2009-07-14	Christian Urban	minor tuning	file \| diff \| annotate
2009-07-13	Christian Urban	added section about code maintenance and added an example for antiquotations	file \| diff \| annotate
2009-06-24	Christian Urban	adapted to changes in Isabelle	file \| diff \| annotate
2009-06-23	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-06-05	Christian Urban	updated to lates Isabelle changes	file \| diff \| annotate

less more (0) -50 -32 tip

isabelle-cookbook

RSS Atom