ProgTutorial/Recipes/Oracle.thy
changeset 428 c2dde8c7174f
parent 346 0fea8b7a14a1
child 457 aedfdcae39a9