Summary
- prefer formal text structure over spurious Unicode;
- tuned whitespace;
- renamed mtf2_effects.thy to upper case
The file was modified | thys/Formal_SSA/Minimality.thy (diff) |
The file was modified | thys/Formal_SSA/ROOT (diff) |
The file was added | thys/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 removed | thys/Amortized_Complexity/mtf2_effects.thy |