isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

progtutorial.pdf

2009-04-26	Christian Urban	added note about @{type_names ...}	file \| diff \| annotate
2009-04-25	Christian Urban	polished	file \| diff \| annotate
2009-04-25	Christian Urban	replaced explode by Symbol.explode	file \| diff \| annotate
2009-04-15	Christian Urban	replaced "warning" with "writeln"	file \| diff \| annotate
2009-04-13	Christian Urban	added something about TRY and TRYALL	file \| diff \| annotate
2009-04-11	Christian Urban	very slight polishing to the simple inductive chapter	file \| diff \| annotate
2009-04-09	Christian Urban	some polishing	file \| diff \| annotate
2009-04-08	Christian Urban	explained uses and use commands	file \| diff \| annotate
2009-04-08	Christian Urban	polished	file \| diff \| annotate
2009-04-08	Christian Urban	added a section about naming conventions	file \| diff \| annotate
2009-04-07	Christian Urban	added material about OuterKeyword.keyword and OuterParse.reserved	file \| diff \| annotate
2009-04-07	Christian Urban	permutation example uses now recent infrastructure	file \| diff \| annotate
2009-04-03	Christian Urban	various additions	file \| diff \| annotate
2009-04-02	Christian Urban	merged	file \| diff \| annotate
2009-04-01	griff	* merge	file \| diff \| annotate
2009-04-02	Christian Urban	section for further material about simple inductive	file \| diff \| annotate
2009-04-01	Christian Urban	finished the heavy duty stuff for the inductive package	file \| diff \| annotate
2009-04-01	Christian Urban	merged	file \| diff \| annotate
2009-04-01	Christian Urban	merged	file \| diff \| annotate
2009-03-30	griff	corrected some typos	file \| diff \| annotate
2009-03-30	griff	polishing	file \| diff \| annotate
2009-04-01	Christian Urban	more work on the simple inductive chapter	file \| diff \| annotate
2009-03-31	Christian Urban	started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)	file \| diff \| annotate
2009-03-31	Christian Urban	used antiquotations	file \| diff \| annotate
2009-03-31	Christian Urban	added a declaration section (for Amine)	file \| diff \| annotate
2009-03-31	Christian Urban	more work on the inductive package	file \| diff \| annotate
2009-03-30	Christian Urban	updated to latest Isabelle	file \| diff \| annotate
2009-03-30	Christian Urban	some polishing	file \| diff \| annotate

less more (0) -28 tip

isabelle-cookbook

RSS Atom