forked from Isabelle_DOF/Isabelle_DOF
Fixed import.
This commit is contained in:
parent
85f115196b
commit
fb049946c5
|
@ -1,6 +1,6 @@
|
|||
theory PikeOS_ST (*Security Target *)
|
||||
|
||||
imports "Isabelle_DOF-ontologies.CC_v3_1_R5'
|
||||
imports "Isabelle_DOF-Ontologies.CC_v3_1_R5"
|
||||
|
||||
begin
|
||||
|
||||
|
|
Loading…
Reference in New Issue