isabelle-cookbook: File revisions

CookBook/Package/Ind_Code.thy

Thu, 12 Mar 2009 18:39:10 +0000	Christian Urban	used latex package boxedminipage	file \| diff \| annotate
Wed, 11 Mar 2009 01:43:28 +0000	Christian Urban	partially adapted to new antiquotation infrastructure	file \| diff \| annotate
Tue, 10 Mar 2009 13:20:46 +0000	Christian Urban	more work on simple_inductive	file \| diff \| annotate
Sun, 08 Mar 2009 20:53:00 +0000	Christian Urban	removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive	file \| diff \| annotate
Wed, 18 Feb 2009 17:17:37 +0000	Christian Urban	added to the first-steps section	file \| diff \| annotate
Sat, 14 Feb 2009 13:20:21 +0000	Christian Urban	polished and added more material to the package chapter	file \| diff \| annotate
Thu, 12 Feb 2009 16:09:42 +0000	Christian Urban	recovered old version of simple_induct; split the main function into small functions	file \| diff \| annotate
Thu, 29 Jan 2009 17:09:56 +0000	Christian Urban	added a section that will eventually describe the code	file \| diff \| annotate

isabelle-cookbook