Nominal/Ex/LetSimple1.thy
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