BrowserSecurity
/
Core_DOM-dev
Archived
forked from afp-mirror/Core_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated copyright year.

This commit is contained in:
Michael Herzberg 2019-07-25 16:46:42 +01:00
parent 81729529da
commit ddde56674c
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Core_DOM/tests/Document_adoptNode.thy
View File

@ -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.
*

2
Core_DOM/tests/Document_getElementById.thy
View File

@ -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.
*

2
Core_DOM/tests/Node_insertBefore.thy
View File

@ -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.
*

2
Core_DOM/tests/Node_removeChild.thy
View File

@ -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.
*