thys/MyFirst.thy
changeset 28 d3831bf423f2
parent 22 fff2b8d356a5
equal deleted inserted replaced
27:378077bab5d2 28:d3831bf423f2