From f938894ef7b2b363f916955aaad99491b3643f82 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolffburkhart@gmail.com>
Date: Fri, 29 Jul 2022 09:01:12 +0200
Subject: [PATCH] title

---
 src/ontologies/ARINC661/.DS_Store | Bin 6148 -> 8196 bytes
 src/ontologies/ARINC661/paper.thy |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ontologies/ARINC661/.DS_Store b/src/ontologies/ARINC661/.DS_Store
index 596b0c7495452f9ed1c951fe19576029e8e95410..57b366800c5c199344af3f0922df2f1852a02c01 100644
GIT binary patch
literal 8196
zcmeHLO>7la6uxI(fjiS8w?Jv9;o(4~P$<w+TZ#z2{@Eg6v9JH2k9luKIx?MkyqWhN
zLK>UELWqi*=*Gmqjfp1yEQ~=HZe-z4G%<}zgoO*;xN)NaH+t^ed9+w+;zmt6H<^3x
zJwJEuIrE*lIhPOuoq3~~kQzb=#fMW?j@@k<m-A;{lR}P+6wsb{*|hDZarQwvJ5M`e
zL=lK05Je!0Koo%}0{@2y;F--EUEtgo(x{Ij5Jg~7Mu7hxG<-NsgmhZa;Maj&Py!$=
zLw3+`%=iGQ7ScpWrv*g`HV~#rg(-w31_*QHYoT5uq|<^5a{^)U0pXh=tWY3$JFc$<
z>I4#kMtu~4C<5~%z-#vyF^Eet>Ehh_-L^cxsp%V#Vr5H~E~Cq6Iej=e;TDs=?&rNu
zJ$Ho923^-qm&ST}*fNVLwz|u8eBE-)Twq`sCaN4Au^huKcDi}T@B-VU5Kx)QDOP>v
zOzW;jt$AnLRHJrgcWY~-*3!IlYD%V6bvyP9q)ynAj(cA0AHshCS^gJ)F3dV(co{p5
zo8zjXfA;a_WX7GGdoxjzc!e%;a}kTBv%>T5N}kI~xjHngjHcMi0=n0q^)1)&hRvLZ
zG{shU7>4~B*EyUsxqKw!+WASxOR>s~ZfEkg?wcL9owQDy-l%V$^7&}ob8~)IpqOGT
z@0kN8>RAP|8@0Vr3zy?+4CJ>fs^S~!w>Gujb6;2Q!NW7l?^wYUW!37Dg5_Ch+Z@xq
zjOiGbb9|_18UDmL2G#McM=dia%azbD=;)K?%$n*Nrq-%!OIAX6)|Rq5I+{;gC-av7
zxOj)Et(Pf#|EPgGI^-IBMI(@?s<x5RBb?urGqD$JMQzxE2Ku0f8xOa+eTOVFZ}0?u
zd10!w+)ZU>4B2|xv_n?=Ze$%8DTsiE%)R?4?!Ivpzt<%C;|aE^byE5WfAc}z^ZT==
zgD($!)71MZ9pjP?!$2mhu36K!UscDw2|Z`_7ZHo>Yf1zDA>;?&4JCY?9>en8Tqt}f
z5HiatSO|3d!UFG<(z?WE0k<Hea$TY+L?0z8*^UQfA2~`)k|k%!Q{)+Pk-SXaAn%Y%
z<YV#~`J8+~z9KW^8u^j@OnxQ5k?Z6JNKg(HupCyvTG$BnunAh=Uf2u!AOSt_AoRmw
z7=RHt20Em{fXBcCAM#LyC*Vmq4;SERcoANKSK&2y7cRkv@DW^wFX0M&4_DzD`~=tG
z2K+9?q%~5tR3oX<25FNNx*?UaXe{(2BobZ=-b@*<5MJp?<F`wUcz2J|``;wSl?t8;
zl`B`Ru3A^OdD~7*keg@`_$onaE>r__-h$}>oxvx)4Y1T&Wo>*2;cK3nO%{<nrBq_e
zI8Z5vp?asXKF*dPz{T_~r9RG<BDlr0A-*-vB+Mx>-5zgJSPU~p4s7N4R)vaTo6@eZ
zGRzz?-J|SP7~#n*<_W$I0`i|D@^$hSc@GhJ84>v{xk`Q@zmOZ`50DXo)u2Kx#9<wx
zumQF}BW!~<Xouaf2Qk?Lz0d~_zyTP9VMOE@j6((yX@Ub;I2qt_3Q;)?XW<;8@*+G7
z&%yKX633<h)=j+i-HJDOa~5xtZg+Qhg-k!4X&HH8*C!owrN-Y#vl9#b-V4c`W4q3A
zT&aZlTeq-CXEEV-4X^)u7QX*qq|u4ojv}x)A^>IG$?i_{b)ml_ueCLNj^V=_*P9kJ
tFu^V;$B_o*IMT2j4|FwD<u-|sP78`0Z2$U2z-co&|D*Fiz}{l+{sgBXLUI5A

delta 140
zcmZp1XfcprU|?W$DortDU=RQ@Ie-{MGjUEV6q~50$jH7iU^gQp`(z%0E@2}>GaUsJ
zgIXPhYD*&n9R+g()5$9Z(l^f(%VXTw(8;`*or6P=8K@fw1h|2OE6AXYh2NPc^UFAb
XY+_(!U|<2!Oc1NUVw>Z6<}d>Q6b~1}

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 \<rightleftharpoons> \<open>Isabelle/HOL\<close>
 
 (********************************************************)
 (* TITLE ************************************************)
-title*[tit::title]\<open>A UI-component Description and its conformance to the ARINC Standard\<close>
+title*[tit::title]\<open>Formal Conformance of A Saftety-Critical UI-component with the ARINC Standard\<close>
 
 (**********************************************************)
 (* AUTHORS ************************************************)