Summary
- merged
- fixing overloading problems involving vector cross products
- corrections to markup
- New material in support of quaternions
The file was modified | src/HOL/Analysis/Cross3.thy (diff) |
The file was modified | src/HOL/Product_Type.thy (diff) |
The file was modified | CONTRIBUTORS (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Algebra/Zassenhaus.thy (diff) |
The file was modified | src/HOL/Analysis/Cross3.thy (diff) |
The file was added | src/HOL/Analysis/Cross3.thy |
The file was modified | src/HOL/Analysis/Analysis.thy (diff) |
The file was modified | src/HOL/Analysis/L2_Norm.thy (diff) |
The file was modified | src/HOL/Analysis/Starlike.thy (diff) |
The file was modified | src/HOL/NthRoot.thy (diff) |
The file was modified | src/HOL/Real_Vector_Spaces.thy (diff) |