ProgTutorial/Recipes/Oracle.thy
changeset 553 c53d74b34123
parent 538 e9fd5eff62c1
child 562 daf404920ab9