Skip to content
Failed

Changes

Summary

  1. Fixed non-terminating metis proofs
Changeset 6614:019480d28875 by manuel eberl _eberlm@in.tum.de_:
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)