Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. work on List_Factoring
  3. working on List_Factoring
  4. got rid of duplicated lemmas/definitions of the List Update Problem, added function config to On_Off
  5. checking in List_Factoring
Changeset 6253:cf1f7e5721f2 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6252:2ebd5fc2574e by max haslbeck _haslbema@in.tum.de_:
work on List_Factoring
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)
Changeset 6251:409bc160e19d by max haslbeck _haslbema@in.tum.de_:
working on List_Factoring
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)
The file was modified thys/Amortized_Complexity/On_Off.thy (diff)
Changeset 6250:dda6f76f5e7e by max haslbeck _haslbema@in.tum.de_:
got rid of duplicated lemmas/definitions of the List Update Problem, added function config to On_Off
The file was modified thys/Amortized_Complexity/BIT.thy (diff)
The file was modified thys/Amortized_Complexity/Competitive_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)
The file was modified thys/Amortized_Complexity/On_Off.thy (diff)
The file was modified thys/Amortized_Complexity/mtf2_effects.thy (diff)
The file was removedthys/Amortized_Complexity/List_Update_Problem.thy
Changeset 6249:eba560e39296 by max haslbeck _haslbema@in.tum.de_:
checking in List_Factoring
The file was addedthys/Amortized_Complexity/List_Factoring.thy
The file was modified thys/Amortized_Complexity/List_Update_Problem.thy (diff)