Tutorial/Tutorial2s.thy
changeset 3143 1da802bd2ab1
parent 3132 87eca760dcba
child 3202 3611bc56c177
equal deleted inserted replaced
3142:4d01d1056e22 3143:1da802bd2ab1