Enable build for Common_Criteria ontology
This commit is contained in:
parent
fcae04fd83
commit
1d4211d7c4
|
@ -12,7 +12,7 @@ identifies:
|
|||
|
||||
(*<<*)
|
||||
theory Common_Criteria
|
||||
imports "Isabelle_DOF.Common_Criteria_terms"
|
||||
imports "Isabelle_DOF.Common_Criteria_Terms"
|
||||
begin
|
||||
|
||||
define_shortcut* csp \<rightleftharpoons> \<open>CSP\<close>
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
theory Common_criteria_terms
|
||||
theory Common_Criteria_Terms
|
||||
imports "Isabelle_DOF.technical_report"
|
||||
begin
|
||||
|
||||
|
@ -15,6 +15,7 @@ type_synonym sfc = semi_formal_content
|
|||
|
||||
doc_class cc_term = semi_formal_content +
|
||||
mcc :: math_content_class <= "terminology"
|
||||
level :: "int option" <= "Some 1"
|
||||
|
||||
type_synonym common_criteria_term = cc_term
|
||||
|
|
@ -19,6 +19,7 @@ imports
|
|||
"scholarly_paper/scholarly_paper"
|
||||
"small_math/small_math"
|
||||
"technical_report/technical_report"
|
||||
"CC_2022_R1/Common_Criteria"
|
||||
(* "CC_v3_1_R5/CC_v3_1_R5" *)
|
||||
begin
|
||||
end
|
||||
|
|
|
@ -9,5 +9,6 @@ session "Isabelle_DOF-tests" = "Isabelle_DOF" +
|
|||
"Evaluation"
|
||||
"High_Level_Syntax_Invariants"
|
||||
"Ontology_Matching_Example"
|
||||
"Common_Criteria_Tests"
|
||||
theories [condition = ISABELLE_DOF_HOME]
|
||||
"Isabelle2022"
|
||||
|
|
Loading…
Reference in New Issue