FSet.thy
changeset 531 3feed4dbfa45
parent 526 7ba2fc25c6a3
child 529 6348c2a57ec2
equal deleted inserted replaced
530:5e92ce8f306d 531:3feed4dbfa45