diff -r f178958d3d81 -r 51a1d1aba9fd FSet.thy