Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. fixed pairwise property proof for COMB
  3. fixed pairwise property proof for MTF
  4. removed text from TS
  5. finished proofs of pairwise_property_lemma
  6. added lemma Lxy_snoc
  7. removed text from OPT2
  8. removed text from List_Factoring
  9. removed text from OPT2
Changeset 6306:dd64741ba5a0 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6305:fb308cd195ce by max haslbeck _haslbema@in.tum.de_:
fixed pairwise property proof for COMB
The file was modified thys/Amortized_Complexity/Comb.thy (diff)
Changeset 6304:d924f7b5ec38 by max haslbeck _haslbema@in.tum.de_:
fixed pairwise property proof for MTF
The file was modified thys/Amortized_Complexity/MTF_pairwise.thy (diff)
Changeset 6303:970d5a9909a9 by max haslbeck _haslbema@in.tum.de_:
removed text from TS
The file was modified thys/Amortized_Complexity/TS.thy (diff)
Changeset 6302:75215b9d7d25 by max haslbeck _haslbema@in.tum.de_:
finished proofs of pairwise_property_lemma
The file was modified thys/Amortized_Complexity/BIT_pairwise.thy (diff)
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)
The file was modified thys/Amortized_Complexity/MTF_pairwise.thy (diff)
The file was modified thys/Amortized_Complexity/TS.thy (diff)
Changeset 6301:746c64c21c72 by max haslbeck _haslbema@in.tum.de_:
added lemma Lxy_snoc
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)
Changeset 6300:b048d1a9ec50 by max haslbeck _haslbema@in.tum.de_:
removed text from OPT2
The file was modified thys/Amortized_Complexity/OPT2.thy (diff)
Changeset 6299:feb498966fc4 by max haslbeck _haslbema@in.tum.de_:
removed text from List_Factoring
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)
Changeset 6298:c30e91e21f06 by max haslbeck _haslbema@in.tum.de_:
removed text from OPT2
The file was modified thys/Amortized_Complexity/List_Factoring.thy (diff)