CookBook/Recipes/Sat.thy
2009-02-20 Christian Urban updated and added two tentative recipes
less more (0) tip