Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. moved definition of Lx from List_Factoring to Move_to_Front
Changeset 6275:d8394b81dd52 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6274:d8a1657a5586 by max haslbeck _haslbema@in.tum.de_:
moved definition of Lx from List_Factoring to Move_to_Front
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)