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?
Larry

> On 18 Jun 2018, at 13:18, Tobias Nipkow <nip...@in.tum.de> wrote:
> 
> Why not simply the AFP?

Attachment: signature.asc
Description: Message signed with OpenPGP

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to