FSet.thy
changeset 217 9cc87d02190a
parent 216 8934d2153469
child 219 329111e1c4ba
equal deleted inserted replaced
216:8934d2153469 217:9cc87d02190a