diff --git a/src/ontologies/ARINC661/.DS_Store b/src/ontologies/ARINC661/.DS_Store index 596b0c7..57b3668 100644 Binary files a/src/ontologies/ARINC661/.DS_Store and b/src/ontologies/ARINC661/.DS_Store differ diff --git a/src/ontologies/ARINC661/paper.thy b/src/ontologies/ARINC661/paper.thy index 845905f..4c085ef 100644 --- a/src/ontologies/ARINC661/paper.thy +++ b/src/ontologies/ARINC661/paper.thy @@ -17,7 +17,7 @@ define_shortcut* isabelle \ \Isabelle/HOL\ (********************************************************) (* TITLE ************************************************) -title*[tit::title]\A UI-component Description and its conformance to the ARINC Standard\ +title*[tit::title]\Formal Conformance of A Saftety-Critical UI-component with the ARINC Standard\ (**********************************************************) (* AUTHORS ************************************************)