Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. prefer formal text structure over spurious Unicode;
  2. tuned whitespace;
  3. renamed mtf2_effects.thy to upper case
Changeset 6266:7a23f634aef3 by wenzelm:
prefer formal text structure over spurious Unicode;
The file was modified thys/Formal_SSA/Minimality.thy (diff)
Changeset 6265:2d33340a27d8 by wenzelm:
tuned whitespace;
The file was modified thys/Formal_SSA/ROOT (diff)
Changeset 6264:638820bd97cb by nipkow:
renamed mtf2_effects.thy to upper case
The file was addedthys/Amortized_Complexity/MTF2_Effects.thy
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/Prob_Theory.thy (diff)
The file was removedthys/Amortized_Complexity/mtf2_effects.thy