ProgTutorial/Recipes/ExternalSolver.thy
changeset 387 5dcee4d751ad
parent 349 9e374cd891e1
child 418 1d1e4cda8c54
equal deleted inserted replaced
386:5f7ca76f94e3 387:5dcee4d751ad