Nominal/Ex/Let_ExhaustIssue.thy
2011-07-05 Christian Urban changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
2011-07-01 Cezary Kaliszyk Exhaust Issue
less more (0) tip