[isabelle-dev] quaternions

Lars Hupel hupel at in.tum.de
Mon Jun 18 14:17:34 CEST 2018

Previous message (by thread): [isabelle-dev] quaternions
Next message (by thread): [isabelle-dev] quaternions
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> So where does this material belong? Arguably not in Analysis, which is already too large.

Why not a regular AFP entry?

Cheers
Lars

Previous message (by thread): [isabelle-dev] quaternions
Next message (by thread): [isabelle-dev] quaternions
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list