Changes

Summary

tuned Step
merge
extending competitive analysis to probabilistic online algorithms
extending Competitive Analysis to probabilistic online algorithms

Changeset 6246:f5a2bdcdd191 by nipkow: tuned Step
The file was modified	`thys/Amortized_Complexity/Competitive_Analysis.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)
Changeset 6245:d3b2218b2ed6 by max haslbeck _haslbema@in.tum.de_: merge
Changeset 6244:da0655fcfee1 by max haslbeck _haslbema@in.tum.de_: extending competitive analysis to probabilistic online algorithms
The file was added	`thys/Amortized_Complexity/BIT.thy`
The file was added	`thys/Amortized_Complexity/Bit_Strings.thy`
The file was added	`thys/Amortized_Complexity/Competitive_Analysis.thy`
The file was added	`thys/Amortized_Complexity/List_Update_Problem.thy`
The file was added	`thys/Amortized_Complexity/Prob_Theory.thy`
The file was added	`thys/Amortized_Complexity/mtf2_effects.thy`
The file was modified	`thys/Amortized_Complexity/ROOT` (diff)
Changeset 6243:b761a3972159 by max haslbeck _haslbema@in.tum.de_: extending Competitive Analysis to probabilistic online algorithms
The file was added	`thys/Amortized_Complexity/BIT.thy`
The file was added	`thys/Amortized_Complexity/Bit_Strings.thy`
The file was added	`thys/Amortized_Complexity/Competitive_Analysis.thy`
The file was added	`thys/Amortized_Complexity/List_Update_Problem.thy`
The file was added	`thys/Amortized_Complexity/Prob_Theory.thy`
The file was added	`thys/Amortized_Complexity/mtf2_effects.thy`
The file was modified	`thys/Amortized_Complexity/Inversion.thy` (diff)
The file was modified	`thys/Amortized_Complexity/ROOT` (diff)