FSet.thy
changeset 341 efe1692bb912
parent 338 62b188959c8a
child 348 b1f83c7a8674
equal deleted inserted replaced
340:2f17bbd47c47 341:efe1692bb912