Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. strange interaction with change by Max Haslbeck
  2. merged
  3. already defined elsewhere
  4. separated proof steps in umformung_OPT
Changeset 6295:8a9f320ed763 by nipkow:
strange interaction with change by Max Haslbeck
The file was modified thys/Amortized_Complexity/Phase_Partitioning.thy (diff)
Changeset 6294:2c168d9c8fa1 by nipkow:
merged
Changeset 6293:df5a9e9f55d6 by nipkow:
already defined elsewhere
The file was modified thys/Amortized_Complexity/OPT2.thy (diff)
Changeset 6292:37e449e2ae5e by max haslbeck _haslbema@in.tum.de_:
separated proof steps in umformung_OPT
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)