Attic/MyFirst.thy
changeset 140 a05b3c89e8aa
parent 95 a33d3040bf7e
equal deleted inserted replaced
139:f28cf86a1e7f 140:a05b3c89e8aa