CookBook/Solutions.thy
2008-10-02 Christian Urban added a solution section and some other minor additions
less more (0) tip