Överenskommelserna redovisades för riksdagen i budgetpropositionen år 1993 ( prop .