CookBook/Parsing.thy
Wed, 18 Mar 2009 18:27:48 +0100 Christian Urban made the Ackermann function example safer and included suggestions from MW
Tue, 17 Mar 2009 17:32:12 +0100 Christian Urban a simplification suggested by Stefan and some polishing
less more (0) -30 -10 -2 tip