FSet.thy
changeset 240 6cff34032a00
parent 239 02b14a21761a
child 241 60acf3d3a4a0
equal deleted inserted replaced
239:02b14a21761a 240:6cff34032a00