Nominal/Abs.thy
2010-11-10 Christian Urban adapted to changes by Florian on the quotient package and removed local fix for function package
less more (0) -30 -10 -1 tip