Nominal/Ex/Weakening.thy
2011-01-06 Christian Urban tuned
2011-01-06 Christian Urban cleaned up weakening proof and added a version with finit sets
less more (0) tip