ProgTutorial/Recipes/Oracle.thy
changeset 471 f65b9f14d5de
parent 457 aedfdcae39a9
child 517 d8c376662bb4