Nominal/Ex/LetSimple2.thy
2011-07-19 Christian Urban merged
2011-07-17 Christian Urban some tuning
2011-07-17 Christian Urban direct definition of height using bn
2011-07-16 Christian Urban more one the NBE example
2011-07-13 Christian Urban slight tuning
2011-07-11 Christian Urban some more experiments with let and bns
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