ProgTutorial/Recipes/ExternalSolver.thy
changeset 430 73437f42c9d3
parent 418 1d1e4cda8c54
child 472 1bbe4268664d