CookBook/Recipes/ExternalSolver.thy
2009-01-07 boehmes Added four recipes.
less more (0) tip