Quot/Examples/FSet3.thy
2009-12-12 Cezary Kaliszyk A bracket was missing; with it proved the 'definitely false' lemma.
2009-12-11 Christian Urban merged
2009-12-11 Christian Urban started to have a look at it; redefined the relation
2009-12-11 Cezary Kaliszyk Renaming
2009-12-11 Cezary Kaliszyk FSet3 minor fixes + cases
2009-12-11 Cezary Kaliszyk Added FSet3 with a formalisation of finite sets based on Michael's one.
less more (0) tip