ProgTutorial/Recipes/ExternalSolver.thy
changeset 238 29787dcf7b2e
parent 211 d5accbc67e1b
child 346 0fea8b7a14a1