obj2sobj_prop.thy
changeset 20 928c015eb03e
parent 6 4294abb1f38c
equal deleted inserted replaced
19:c3517b281164 20:928c015eb03e