CookBook/Parsing.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
Tue, 17 Mar 2009 17:32:12 +0100 Christian Urban a simplification suggested by Stefan and some polishing
Tue, 17 Mar 2009 11:47:01 +0100 Christian Urban updated to new method_setup
less more (0) -30 -10 -4 tip