![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Summary
- Fixed non-terminating metis proofs
| The file was modified | thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff) |
| The file was modified | thys/Echelon_Form/Echelon_Form.thy (diff) |
| The file was modified | thys/Gauss_Jordan/Gauss_Jordan_PA_IArrays.thy (diff) |
| The file was modified | thys/Gauss_Jordan/System_Of_Equations_IArrays.thy (diff) |
| The file was modified | thys/Hermite/Hermite.thy (diff) |
| The file was modified | thys/List_Update/Prob_Theory.thy (diff) |
| The file was modified | thys/Polynomial_Factorization/Order_Polynomial.thy (diff) |