Nominal/Nominal2_Base.thy
2011-06-25 Christian Urban an alternative FCB for Abs_lst1; seems simpler but not as simple as I thought; not sure whether it generalises to multiple binders.
less more (0) -30 -10 -1 tip