progtutorial.pdf
Tue, 31 Mar 2009 16:50:13 +0100 Christian Urban used antiquotations
Tue, 31 Mar 2009 15:53:12 +0100 Christian Urban added a declaration section (for Amine)
Tue, 31 Mar 2009 15:48:53 +0100 Christian Urban more work on the inductive package
Mon, 30 Mar 2009 09:33:50 +0100 Christian Urban updated to latest Isabelle
Mon, 30 Mar 2009 08:17:22 +0000 Christian Urban some polishing
Fri, 27 Mar 2009 18:19:42 +0000 Christian Urban polishing
Fri, 27 Mar 2009 12:49:28 +0000 Christian Urban more work on simple inductive and marked all sections that are still seriously incomplete with TBD
less more (0) -10 -7 tip