Nominal/Ex/LetSimple1.thy
2011-07-05 Christian Urban changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
2011-07-05 Christian Urban exported various FCB-lemmas to a separate file
2011-07-01 Christian Urban side-by-side tests of lets with single assignment; deep-binder case works if the recursion is avoided using an auxiliary function
less more (0) tip