![[Jenkins]](/jenkins/static/f7776f3e/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- collected lemmas on permutations
| The file was modified | src/HOL/Combinatorics/Permutations.thy |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- collected lemmas on permutations
| The file was added | thys/Jordan_Normal_Form/Missing_Misc.thy |
| The file was modified | thys/Algebraic_Numbers/Algebraic_Numbers.thy |
| The file was modified | thys/Jordan_Normal_Form/Char_Poly.thy |
| The file was modified | thys/Jordan_Normal_Form/Determinant.thy |
| The file was modified | thys/Jordan_Normal_Form/Matrix.thy |
| The file was modified | thys/Jordan_Normal_Form/Missing_Ring.thy |
| The file was modified | thys/Jordan_Normal_Form/ROOT |
| The file was modified | thys/Jordan_Normal_Form/Schur_Decomposition.thy |
| The file was modified | thys/LLL_Basis_Reduction/Gram_Schmidt_2.thy |
| The file was modified | thys/Linear_Inequalities/Integral_Bounded_Vectors.thy |
| The file was modified | thys/Perron_Frobenius/HMA_Connect.thy |
| The file was modified | thys/QHLProver/Complex_Matrix.thy |
| The file was modified | thys/Smith_Normal_Form/Mod_Type_Connect.thy |
| The file was modified | thys/Subresultants/Coeff_Int.thy |
| The file was removed | thys/Jordan_Normal_Form/Missing_Permutations.thy |