Nominal/Equivp.thy
2010-06-23 Christian Urban deleted compose-lemmas in Abs (not needed anymore)
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-24 Christian Urban alpha works now
less more (0) -3 tip