ProgTutorial/Recipes/Oracle.thy
changeset 576 b78c4fab81a9
parent 572 438703674711