Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. tidy up
  3. no more quick and dirty
  4. fix new premis of E_bernoulli2
  5. take back MTF pairwise analysis for now
  6. finished E_bernoulli3
Changeset 6362:31b0a0a234fc by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6361:9d7ffb660b72 by max haslbeck _haslbema@in.tum.de_:
tidy up
The file was modified thys/List_Update/BIT.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/MTF2_Effects.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/TS.thy (diff)
Changeset 6360:90774fecf39c by max haslbeck _haslbema@in.tum.de_:
no more quick and dirty
The file was modified thys/List_Update/ROOT (diff)
Changeset 6359:325bd3613934 by max haslbeck _haslbema@in.tum.de_:
fix new premis of E_bernoulli2
The file was modified thys/List_Update/Comb.thy (diff)
Changeset 6358:279c91f90d4c by max haslbeck _haslbema@in.tum.de_:
take back MTF pairwise analysis for now
The file was removedthys/List_Update/MTF_2comp_on2.thy
The file was removedthys/List_Update/MTF_pairwise.thy
Changeset 6357:a5ec2ed2111e by max haslbeck _haslbema@in.tum.de_:
finished E_bernoulli3
The file was modified thys/List_Update/BIT_2comp_on2.thy (diff)