Renaming to ensure compliance with naming restrictions.

src/ROOT

@@ -10,6 +10,7 @@ session "Isabelle_DOF" = "Functional-Automata" +
     "ontologies/scholarly_paper"
     "ontologies/small_math"
     "ontologies/technical_report"
+    "ontologies/CC_v3_1_R5"
   theories
     "DOF/Isa_DOF"
     "ontologies/ontologies"

src/ontologies/CC_v3.1_R5/README

@@ -1,4 +0,0 @@
-This draft of an ontology for Common Criteria Certifications
-was following ISO 15408.
-
-Authors: Yakoub Nemouchi, Univ York

src/ontologies/CC_v3_1_R5/CC_terminology.thy

@@ -1,3 +1,15 @@
+(*************************************************************************
+ * Copyright (C) 
+ *               2019-2022 The University of Exeter 
+ *               2019-2022 The University of Paris-Saclay
+ *
+ * License:
+ *   This program can be redistributed and/or modified under the terms
+ *   of the 2-clause BSD-style license.
+ *
+ *   SPDX-License-Identifier: BSD-2-Clause
+ *************************************************************************)
+
 chapter\<open>Common Criteria Definitions\<close>
 
 (*<<*)

src/ontologies/CC_v3_1_R5/CC_v3_1_R5.thy

@@ -1,11 +1,8 @@
-(* *************************************************************************
- * Copyright (C)
- *               2020      The University of Sheffield
- *               2019      The University of Exeter
- *               2018-2019 The University of Paris-Saclay
+(*************************************************************************
+ * Copyright (C) 
+ *               2019-2022 The University of Exeter 
+ *               2019-2022 The University of Paris-Saclay
  *
- * Authors : Yakoub Nemouchi
- *           Burhart Wolff
  * License:
  *   This program can be redistributed and/or modified under the terms
  *   of the 2-clause BSD-style license.

src/ontologies/ontologies.thy

@@ -19,5 +19,6 @@ imports
   "scholarly_paper/scholarly_paper"
   "small_math/small_math"
   "technical_report/technical_report"
+  (* "CC_v3_1_R5/CC_v3_1_R5" *)
 begin
 end