diff --git a/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy index 18732d6..4abb810 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy @@ -1,6 +1,6 @@ (************************************************************************* * Copyright (C) - * 2019-20 The University of Exeter + * 2019-2020 The University of Exeter * 2018-2020 The University of Paris-Saclay * 2018 The University of Sheffield *