Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. tune proofs
  3. remove Sum_Distribution
  4. editing section headings, tuned
  5. fix latex
  6. get rid of duplicate lemma
  7. merge
  8. renaming and simplifying proofs
  9. reorganizing sections
Changeset 6924:259520005f86 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6923:c457249c7ee3 by max haslbeck _haslbema@in.tum.de_:
tune proofs
The file was modified thys/List_Update/Bit_Strings.thy (diff)
The file was modified thys/List_Update/TS.thy (diff)
Changeset 6922:5c5e4eefba57 by max haslbeck _haslbema@in.tum.de_:
remove Sum_Distribution
The file was removedthys/List_Update/Sum_Distribution.thy
Changeset 6921:bd12eba79509 by max haslbeck _haslbema@in.tum.de_:
editing section headings, tuned
The file was modified thys/List_Update/BIT.thy (diff)
The file was modified thys/List_Update/BIT_2comp_on2.thy (diff)
The file was modified thys/List_Update/BIT_pairwise.thy (diff)
The file was modified thys/List_Update/Comb.thy (diff)
The file was modified thys/List_Update/Competitive_Analysis.thy (diff)
The file was modified thys/List_Update/List_Factoring.thy (diff)
The file was modified thys/List_Update/MTF2_Effects.thy (diff)
The file was modified thys/List_Update/OPT2.thy (diff)
The file was modified thys/List_Update/Partial_Cost_Model.thy (diff)
The file was modified thys/List_Update/Phase_Partitioning.thy (diff)
The file was modified thys/List_Update/Prob_Theory.thy (diff)
The file was modified thys/List_Update/RExp_Var.thy (diff)
The file was modified thys/List_Update/ROOT (diff)
The file was modified thys/List_Update/Sum_Distribution.thy (diff)
The file was modified thys/List_Update/TS.thy (diff)
Changeset 6920:074d5f7f4135 by max haslbeck _haslbema@in.tum.de_:
fix latex
The file was modified thys/List_Update/List_Factoring.thy (diff)
Changeset 6919:c1cbb4bf5f5c by max haslbeck _haslbema@in.tum.de_:
get rid of duplicate lemma
The file was modified thys/List_Update/List_Factoring.thy (diff)
Changeset 6918:45c70b580ca7 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6917:b575d2b8a546 by max haslbeck _haslbema@in.tum.de_:
renaming and simplifying proofs
The file was modified thys/List_Update/Competitive_Analysis.thy (diff)
The file was modified thys/List_Update/List_Factoring.thy (diff)
The file was modified thys/List_Update/RExp_Var.thy (diff)
Changeset 6916:f74635ab75fc by max haslbeck _haslbema@in.tum.de_:
reorganizing sections
The file was modified thys/List_Update/BIT.thy (diff)
The file was modified thys/List_Update/Comb.thy (diff)
The file was modified thys/List_Update/List_Factoring.thy (diff)
The file was modified thys/List_Update/OPT2.thy (diff)
The file was modified thys/List_Update/Partial_Cost_Model.thy (diff)
The file was modified thys/List_Update/Phase_Partitioning.thy (diff)
The file was modified thys/List_Update/RExp_Var.thy (diff)
The file was modified thys/List_Update/Sum_Distribution.thy (diff)
The file was modified thys/List_Update/TS.thy (diff)