isabelle-cookbook: File revisions

ProgTutorial/Parsing.thy

Wed, 01 Apr 2009 12:26:56 +0100	Christian Urban	more work on the simple inductive chapter	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
Tue, 24 Mar 2009 12:09:38 +0100	Christian Urban	some polishing	file \| diff \| annotate
Mon, 23 Mar 2009 18:17:24 +0100	Christian Urban	some polishing	file \| diff \| annotate
Mon, 23 Mar 2009 12:13:33 +0100	Christian Urban	polishing to the theorem attributes section	file \| diff \| annotate
Sat, 21 Mar 2009 12:35:03 +0100	Christian Urban	some polishing	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