isabelle-cookbook: File revisions

ProgTutorial/Base.thy

Mon, 03 Aug 2009 14:01:57 +0200	Christian Urban	replaced "writeln" with "tracing"	file \| diff \| annotate
Tue, 14 Jul 2009 16:34:24 +0200	Christian Urban	minor tuning	file \| diff \| annotate
Fri, 05 Jun 2009 04:17:28 +0200	Christian Urban	updated to lates Isabelle changes	file \| diff \| annotate
Sat, 30 May 2009 17:40:20 +0200	Christian Urban	added some first index-information	file \| diff \| annotate
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
Wed, 15 Apr 2009 13:11:08 +0000	Christian Urban	replaced "warning" with "writeln"	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
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