CookBook/FirstSteps.thy
changeset 37 403d4e0ad712
parent 34 527fc0af45e3
child 39 631d12c25bde
equal deleted inserted replaced
36:bf4238634a76 37:403d4e0ad712