isabelle-cookbook: File revisions

ProgTutorial/Package/Ind_Code.thy

Thu, 30 Jul 2009 11:38:52 +0200	Christian Urban	made changes for SUBPROOF and sat_tac	file \| diff \| annotate
Sat, 30 May 2009 17:40:20 +0200	Christian Urban	added some first index-information	file \| diff \| annotate
Sun, 17 May 2009 16:22:27 +0200	Christian Urban	some polishing; added together with Jasmin more examples to the pretty printing section	file \| diff \| annotate
Wed, 15 Apr 2009 13:11:08 +0000	Christian Urban	replaced "warning" with "writeln"	file \| diff \| annotate
Sat, 11 Apr 2009 19:23:58 +0000	Christian Urban	very slight polishing to the simple inductive chapter	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

isabelle-cookbook