CookBook/Recipes/ExternalSolver.thy
changeset 91 667a0943c40b
parent 83 0fb5f91d5109
child 94 531e453c9d67