Nominal/Abs_equiv.thy
2010-03-26 Christian Urban merged
less more (0) tip