FSet.thy
changeset 312 4cf79f70efec
parent 309 20fa8dd8fb93
child 314 3b3c5feb6b73
equal deleted inserted replaced
311:77fc6f3c0343 312:4cf79f70efec