Attic/MyFirst.thy
changeset 145 97735ef233be
parent 95 a33d3040bf7e
equal deleted inserted replaced
144:b356c7adf61a 145:97735ef233be