ProgTutorial/Recipes/Config.thy
changeset 288 d6e9fb662d68
parent 191 0150cf5982ae
equal deleted inserted replaced
287:4b75f40b3e6c 288:d6e9fb662d68