From c69c61407e7b74a312e014d7ee67081be78cfca9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 20 Jul 2019 10:55:22 +0100
Subject: [PATCH] Cleanup.

---
 ontologies/CC_ISO15408.thy | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 ontologies/CC_ISO15408.thy

diff --git a/ontologies/CC_ISO15408.thy b/ontologies/CC_ISO15408.thy
deleted file mode 100644
index 8598fa2..0000000
--- a/ontologies/CC_ISO15408.thy
+++ /dev/null
@@ -1,17 +0,0 @@
-chapter \<open>An Outline of a Common Criteria Ontology\<close>
-
-text{* NOTE: An Ontology-Model of a certification standard such as Comon Criteria or
-Common Criteria (ISO15408) identifies:
-- notions (conceptual \emph{categories}) having \emph{instances}
-  (similar to classes and objects),
-- their subtype relation (eg., a "security target" is a "requirement definition"),
-- their syntactical structure 
-  (for the moment: defined by regular expressions describing the
-   order of category instances in the overall document as a regular language)
- *}  
-  
-theory CC_ISO15408
-  imports "../Isa_DOF"
-begin
-  
-end
\ No newline at end of file