src/HOL/Analysis/Cross3.thy
6 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
10 months ago nipkow 2018-09-04 tuned
10 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
13 months ago paulson 2018-06-19 fixing overloading problems involving vector cross products
13 months ago paulson 2018-06-18 corrections to markup
13 months ago paulson 2018-06-18 New material in support of quaternions