subset.thy
changeset 251 f04b33ce250f
parent 116 ab4328bbff70
equal deleted inserted replaced
250:093e273405f0 251:f04b33ce250f