Summary
- regenerate website
- merge from afp-2016
- submission system only allows "../entry/thy" method
- tuned
- New entry Perron_Frobenius (and a few import tweaks of old theories)
- new entry Incredible_Proof_Machine
- capitalisation
- FLP webpage
- new entry FLP
- Randomised_Social_Choice: inserted timeout
- integrated improved equality test for algebraic numbers (unlike the previous algorithm, the new one terminates even if the factorization oracle delivers partial factorizations)