Quot/Examples/FSet.thy
changeset 1242 76de3440887c
parent 1140 aaeb5a34d21a
equal deleted inserted replaced
1241:ab1aa1b48547 1242:76de3440887c