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
less more (0) -7 tip