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) |