thys/#MyFirst.thy#
changeset 25 a2a7f65f538a
parent 22 fff2b8d356a5
equal deleted inserted replaced
24:789ade899a53 25:a2a7f65f538a