Skip to content
Failed

Changes

Summary

  1. followed renaming
  2. tuned
  3. merged
  4. added merged version of pass1 and pass2: meld
  5. timeout for Randomised_Social_Choice
Changeset 6592:2466797bc9be by nipkow:
followed renaming
The file was modified thys/ROBDD/BDT.thy (diff)
Changeset 6591:951e487c39a0 by nipkow:
tuned
The file was modified thys/Amortized_Complexity/Pairing_Heap.thy (diff)
Changeset 6590:ac76490e2360 by nipkow:
merged
Changeset 6589:e9f88e47e371 by nipkow:
added merged version of pass1 and pass2: meld
The file was modified thys/Amortized_Complexity/Pairing_Heap.thy (diff)
The file was modified thys/Amortized_Complexity/ROOT (diff)
Changeset 6588:c50038e07bb4 by paulson _lp15@cam.ac.uk_:
timeout for Randomised_Social_Choice
The file was modified thys/Randomised_Social_Choice/ROOT (diff)