Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Moved material on set permutations to distribution
  2. mathfrak requires eufrak package
Changeset 6673:4770ea7853fe by manuel eberl _eberlm@in.tum.de_:
Moved material on set permutations to distribution
The file was modified thys/Randomised_Social_Choice/Random_Dictatorship.thy (diff)
The file was modified thys/Randomised_Social_Choice/Random_Serial_Dictatorship.thy (diff)
The file was removedthys/Randomised_Social_Choice/Random_Permutations.thy
The file was removedthys/Randomised_Social_Choice/Set_Permutations.thy
Changeset 6672:ee0aa77b65ac by lars hupel _lars.hupel@mytum.de_:
mathfrak requires eufrak package
The file was modified thys/Posix-Lexing/document/root.tex (diff)