This is not a regular AFP entry!

This Nominal2 module is expected to disappear from the AFP and be merged into
the Isabelle distribution before the next Isabelle release.