Theory Randomised_Social_Choice

theory Randomised_Social_Choice
imports
  Complex_Main
  SDS_Lowering
  Random_Dictatorship
  Random_Serial_Dictatorship
begin

end