Nominal/Ex/LetRecFunNo.thy
2012-04-03 Cezary Kaliszyk A recursive function over let-recs with eqvt problems
less more (0) tip