CookBook/Recipes/ExternalSolver.thy
changeset 86 fdb9ea86c2a3
parent 83 0fb5f91d5109
child 94 531e453c9d67