Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed copyright header.

This commit is contained in:
Achim D. Brucker 2021-01-05 11:32:26 +00:00
parent 20b3e7c0b7
commit 78a17a66b5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
View File

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