FSet.thy
changeset 179 b1247c98abb8
parent 178 945786a68ec6
child 180 fcacca9588b4
equal deleted inserted replaced
178:945786a68ec6 179:b1247c98abb8