From 78a17a66b5605481fc6ade40f9e92e1642c6bd1a Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 5 Jan 2021 11:32:26 +0000 Subject: [PATCH] Fixed copyright header. --- .../technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *