thys/MyFirst.thy
changeset 29 2345ba5b4264
parent 22 fff2b8d356a5
equal deleted inserted replaced
28:d3831bf423f2 29:2345ba5b4264