diff --git a/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy b/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy index 053ffd99..e03e1fe4 100644 --- a/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy +++ b/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy @@ -108,12 +108,12 @@ author*[ adb, orcid ="\0000-0002-6355-1200\", http_site ="\https://www.brucker.ch/\", affiliation ="\University of Exeter, Exeter, UK\"]\Achim D. Brucker\ -author*[ bu, - email = "\wolff@lri.fr\", - affiliation = "\Université Paris-Saclay, LRI, Paris, France\"]\Burkhart Wolff\ author*[ nico, email = "\nicolas.meric@lri.fr\", affiliation = "\Université Paris-Saclay, LRI, Paris, France\"]\Nicolas Méric\ +author*[ bu, + email = "\wolff@lri.fr\", + affiliation = "\Université Paris-Saclay, LRI, Paris, France\"]\Burkhart Wolff\ abstract*[abs, keywordlist="[\Ontology\, \Ontological Modeling\, \Document Management\, \Formal Document Development\,\Isabelle/DOF\]"]