CookBook/FirstSteps.thy
Wed, 18 Mar 2009 23:52:51 +0100 Christian Urban added lots of FIXMES
Wed, 18 Mar 2009 18:27:48 +0100 Christian Urban made the Ackermann function example safer and included suggestions from MW
Wed, 18 Mar 2009 03:27:15 +0100 Christian Urban some polishing
Wed, 18 Mar 2009 03:03:51 +0100 Christian Urban some polishing
Tue, 17 Mar 2009 17:32:12 +0100 Christian Urban a simplification suggested by Stefan and some polishing
Mon, 16 Mar 2009 00:12:32 +0100 Christian Urban adapted to latest Attrib.setup changes and more work on the simple induct chapter
Sat, 14 Mar 2009 00:48:22 +0100 Christian Urban polishing
less more (0) -30 -10 -7 tip