Summary
- followed renaming
- tuned
- merged
- added merged version of pass1 and pass2: meld
- timeout for Randomised_Social_Choice
The file was modified | thys/ROBDD/BDT.thy (diff) |
The file was modified | thys/Amortized_Complexity/Pairing_Heap.thy (diff) |
The file was modified | thys/Amortized_Complexity/Pairing_Heap.thy (diff) |
The file was modified | thys/Amortized_Complexity/ROOT (diff) |
The file was modified | thys/Randomised_Social_Choice/ROOT (diff) |