Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Changeset 73648:1bd3463e30b8 by haftmann: more elementary swap
The file was modified	`NEWS`
The file was modified	`src/HOL/Algebra/Sym_Groups.thy`
The file was modified	`src/HOL/Analysis/Brouwer_Fixpoint.thy`
The file was modified	`src/HOL/Analysis/Cartesian_Space.thy`
The file was modified	`src/HOL/Analysis/Change_Of_Vars.thy`
The file was modified	`src/HOL/Analysis/Determinants.thy`
The file was modified	`src/HOL/Analysis/Linear_Algebra.thy`
The file was modified	`src/HOL/Analysis/Vitali_Covering_Theorem.thy`
The file was modified	`src/HOL/Combinatorics/Combinatorics.thy`
The file was modified	`src/HOL/Combinatorics/Cycles.thy`
The file was modified	`src/HOL/Combinatorics/Perm.thy`
The file was modified	`src/HOL/Combinatorics/Permutations.thy`
The file was modified	`src/HOL/Combinatorics/Transposition.thy`
The file was modified	`src/HOL/ex/Dedekind_Real.thy`
The file was modified	`src/HOL/ex/Perm_Fragments.thy`

Changeset 11772:f8ded3c69c5d by haftmann: more elementary swap
The file was modified	`thys/Blue_Eyes/Blue_Eyes.thy`
The file was modified	`thys/Cayley_Hamilton/Square_Matrix.thy`
The file was modified	`thys/Derangements/Derangements.thy`
The file was modified	`thys/Gauss-Jordan-Elim-Fun/Gauss_Jordan_Elim_Fun.thy`
The file was modified	`thys/Gauss_Jordan/Determinants2.thy`
The file was modified	`thys/Jordan_Normal_Form/Determinant.thy`
The file was modified	`thys/LLL_Basis_Reduction/LLL.thy`
The file was modified	`thys/Perron_Frobenius/HMA_Connect.thy`
The file was modified	`thys/Planarity_Certificates/Planarity/Permutations_2.thy`
The file was modified	`thys/Planarity_Certificates/Planarity/Planar_Subdivision.thy`
The file was modified	`thys/Planarity_Certificates/Planarity/Planar_Subgraph.thy`
The file was modified	`thys/Smith_Normal_Form/Mod_Type_Connect.thy`
The file was modified	`thys/Symmetric_Polynomials/Symmetric_Polynomials.thy`