ProgTutorial/Recipes/USTypes.thy
changeset 433 063f19e9e5a2
parent 346 0fea8b7a14a1
child 565 cecd7a941885
equal deleted inserted replaced
432:087dc1726a99 433:063f19e9e5a2