From ddde56674cbdac0a94048efc875309f296b051d5 Mon Sep 17 00:00:00 2001 From: Michael Herzberg Date: Thu, 25 Jul 2019 16:46:42 +0100 Subject: [PATCH] Updated copyright year. --- Core_DOM/tests/Document_adoptNode.thy | 2 +- Core_DOM/tests/Document_getElementById.thy | 2 +- Core_DOM/tests/Node_insertBefore.thy | 2 +- Core_DOM/tests/Node_removeChild.thy | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Core_DOM/tests/Document_adoptNode.thy b/Core_DOM/tests/Document_adoptNode.thy index f1326be..063a854 100644 --- a/Core_DOM/tests/Document_adoptNode.thy +++ b/Core_DOM/tests/Document_adoptNode.thy @@ -1,5 +1,5 @@ (*********************************************************************************** - * Copyright (c) 2016-2018 The University of Sheffield, UK + * Copyright (c) 2016-2019 The University of Sheffield, UK * * All rights reserved. * diff --git a/Core_DOM/tests/Document_getElementById.thy b/Core_DOM/tests/Document_getElementById.thy index 1045065..5bf92e7 100644 --- a/Core_DOM/tests/Document_getElementById.thy +++ b/Core_DOM/tests/Document_getElementById.thy @@ -1,5 +1,5 @@ (*********************************************************************************** - * Copyright (c) 2016-2018 The University of Sheffield, UK + * Copyright (c) 2016-2019 The University of Sheffield, UK * * All rights reserved. * diff --git a/Core_DOM/tests/Node_insertBefore.thy b/Core_DOM/tests/Node_insertBefore.thy index 62f7f31..64638ff 100644 --- a/Core_DOM/tests/Node_insertBefore.thy +++ b/Core_DOM/tests/Node_insertBefore.thy @@ -1,5 +1,5 @@ (*********************************************************************************** - * Copyright (c) 2016-2018 The University of Sheffield, UK + * Copyright (c) 2016-2019 The University of Sheffield, UK * * All rights reserved. * diff --git a/Core_DOM/tests/Node_removeChild.thy b/Core_DOM/tests/Node_removeChild.thy index 284ea05..2b9f614 100644 --- a/Core_DOM/tests/Node_removeChild.thy +++ b/Core_DOM/tests/Node_removeChild.thy @@ -1,5 +1,5 @@ (*********************************************************************************** - * Copyright (c) 2016-2018 The University of Sheffield, UK + * Copyright (c) 2016-2019 The University of Sheffield, UK * * All rights reserved. *