ProgTutorial/Recipes/Oracle.thy
changeset 465 886a7c614ced
parent 457 aedfdcae39a9
child 517 d8c376662bb4