![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Summary
- cleaning sorted
| The file was modified | thys/Affine_Arithmetic/Affine_Code.thy (diff) |
| The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
| The file was modified | thys/List_Update/Move_to_Front.thy (diff) |
| The file was modified | thys/Perron_Frobenius/Perron_Frobenius_Irreducible.thy (diff) |