FSet.thy
changeset 426 98936120ab02
parent 423 2f0ad33f0241
child 430 123877af04ed
child 432 9c33c0809733
equal deleted inserted replaced
425:12fc780ff0e8 426:98936120ab02