The cross product development is 200 lines long while the quaternion 
development is 730. Should they be separate entries, or do cross products 
belong elsewhere?

> On 18 Jun 2018, at 13:18, Tobias Nipkow <> wrote:
> Why not simply the AFP?

Attachment: signature.asc
Description: Message signed with OpenPGP

isabelle-dev mailing list

Reply via email to