Summary
- more elementary swap
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Algebra/Sym_Groups.thy (diff) |
The file was modified | src/HOL/Analysis/Brouwer_Fixpoint.thy (diff) |
The file was modified | src/HOL/Analysis/Cartesian_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Change_Of_Vars.thy (diff) |
The file was modified | src/HOL/Analysis/Determinants.thy (diff) |
The file was modified | src/HOL/Analysis/Linear_Algebra.thy (diff) |
The file was modified | src/HOL/Analysis/Vitali_Covering_Theorem.thy (diff) |
The file was modified | src/HOL/Combinatorics/Combinatorics.thy (diff) |
The file was modified | src/HOL/Combinatorics/Cycles.thy (diff) |
The file was modified | src/HOL/Combinatorics/Perm.thy (diff) |
The file was modified | src/HOL/Combinatorics/Permutations.thy (diff) |
The file was modified | src/HOL/Combinatorics/Transposition.thy (diff) |
The file was modified | src/HOL/ex/Dedekind_Real.thy (diff) |
The file was modified | src/HOL/ex/Perm_Fragments.thy (diff) |