Attic/MyFirst.thy
changeset 144 b356c7adf61a
parent 95 a33d3040bf7e
equal deleted inserted replaced
143:1e7b36450d9a 144:b356c7adf61a