Nominal/Ex/Weakening.thy
2011-07-05 Christian Urban changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
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