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