isabelle-cookbook: File revisions

ProgTutorial/Package/Ind_Code.thy

Thu, 20 Aug 2009 14:19:39 +0200	Christian Urban	simplified a bit the index generation	file \| diff \| annotate
Wed, 05 Aug 2009 09:24:18 +0200	Christian Urban	added a comment for printing out information and tuned some examples accordingly	file \| diff \| annotate
Mon, 03 Aug 2009 14:01:57 +0200	Christian Urban	replaced "writeln" with "tracing"	file \| diff \| annotate
Sun, 02 Aug 2009 08:44:41 +0200	Christian Urban	updated to Isabelle changes and merged sections in the FirstSteps chapter	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
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

isabelle-cookbook