CookBook/Solutions.thy
2008-10-30 Christian Urban hakked latex so that it does not display ML {* *}; general tuning
2008-10-13 berghofe Tuned.
2008-10-10 berghofe Antiquotation setup is now contained in theory Base.
2008-10-02 Christian Urban added a solution section and some other minor additions
less more (0) tip