ProgTutorial/Recipes/Oracle.thy
changeset 469 7a558c5119b2
parent 457 aedfdcae39a9
child 517 d8c376662bb4