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

Enable build for Common_Criteria ontology

This commit is contained in:
Pierre Derathe 2023-01-25 15:45:37 +01:00 committed by Pierre Derathe
parent 983f4cf1c4
commit 57bd44ecde
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/ontologies/CC_2022_R1/Common_Criteria_Terms.thy
View File

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