ProgTutorial/Recipes/Oracle.thy
changeset 390 8ad407e77ea0
parent 346 0fea8b7a14a1
child 457 aedfdcae39a9
equal deleted inserted replaced
389:4cc6df387ce9 390:8ad407e77ea0