Quot/Examples/FSet2.thy
2009-12-10 Christian Urban added an attempt to get a finite set theory
less more (0) tip