various refinements in UniformTieBreaking.thy and PartialAuctions.thy
various refinements in UniformTieBreaking.thy and PartialAuctions.thy