isabelle-cookbook: File revisions

ProgTutorial/Package/Ind_Prelims.thy

Sun, 19 Feb 2012 01:33:47 +0000	Christian Urban	updated to new Isabelle	file \| diff \| annotate
Tue, 13 Oct 2009 22:57:25 +0200	Christian Urban	tuned the ML-output mechanism; tuned slightly the text	file \| diff \| annotate
Thu, 30 Jul 2009 15:51:51 +0200	Christian Urban	polished the package chapter used FOCUS to explain the subproofs	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
Wed, 01 Apr 2009 15:42:47 +0100	Christian Urban	finished the heavy duty stuff for the inductive package	file \| diff \| annotate
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
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