Nominal/FSet.thy
changeset 1919 d96c48fd7316
parent 1913 39951d71bfce
child 1927 6c5e3ac737d9
child 1951 a0c7290a4e27
equal deleted inserted replaced
1918:e2e963f4e90d 1919:d96c48fd7316