FSet.thy
changeset 279 b2fd070c8833
parent 276 783d6c940e45
child 285 8ebdef196fd5
equal deleted inserted replaced
278:bdedfb51778d 279:b2fd070c8833