Summary
- renamed Gauss_Jordan to Gauss_Jordan_Elimination to avoid overlap with Gauss_Jordan/Gauss_Jordan.thy
The file was added | thys/Jordan_Normal_Form/Gauss_Jordan_Elimination.thy |
The file was modified | thys/Jordan_Normal_Form/Column_Operations.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/Gauss_Jordan_IArray_Impl.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/ROOT (diff) |
The file was modified | thys/Polynomial_Factorization/Gauss_Jordan_Field.thy (diff) |
The file was removed | thys/Jordan_Normal_Form/Gauss_Jordan.thy |