CookBook/Package/Ind_Code.thy
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
less more (0) -10 -4 tip