isabelle-cookbook: File revisions

ProgTutorial/document/root.tex

Sat, 30 May 2009 11:12:46 +0200	Christian Urban	added infrastructure for index; antiquotations have now the options [index] and [indexc]	file \| diff \| annotate
Sat, 09 May 2009 13:55:25 +0200	Christian Urban	added more to the pretty section and updated the acknowledgements	file \| diff \| annotate
Tue, 05 May 2009 03:21:49 +0200	Christian Urban	fixed the problem with double definition of even and odd	file \| diff \| annotate
Sat, 25 Apr 2009 14:28:58 +0200	Christian Urban	replaced explode by Symbol.explode	file \| diff \| annotate
Tue, 31 Mar 2009 20:31:18 +0100	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
Fri, 27 Mar 2009 12:49:28 +0000	Christian Urban	more work on simple inductive and marked all sections that are still seriously incomplete with TBD	file \| diff \| annotate
Thu, 26 Mar 2009 19:00:51 +0000	Christian Urban	more work on the simple inductive section	file \| diff \| annotate
Thu, 19 Mar 2009 13:28:16 +0100	Christian Urban	made more of the transition from "CookBook" to "ProgTutorial"	file \| diff \| annotate \| base

isabelle-cookbook