From c39e06892c5d17f173319052a76e2daefbb82af5 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolffburkhart@gmail.com>
Date: Fri, 29 Jul 2022 11:36:13 +0200
Subject: [PATCH] Final Disccsion with idir Nico

---
 src/ontologies/ARINC661/.DS_Store | Bin 8196 -> 8196 bytes
 src/ontologies/ARINC661/paper.thy |   5 +++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/ontologies/ARINC661/.DS_Store b/src/ontologies/ARINC661/.DS_Store
index 57b366800c5c199344af3f0922df2f1852a02c01..8628d91f96166873dc4c077fc1aa2b24226d8456 100644
GIT binary patch
delta 1076
zcmd^7&rcIU7@b#sxVxk>4FaW0NR=pHE1?h(R7^oou_^~zDQMJ%9bgo;*j+$HY+^Wg
zP>eR}O)e(hlxRGdcv3m&0Tg@Xq){&(xp*+nc8mNG&S7WY`@Z?U`QDqk@LYKD5q0kk
z`a_MavqAq%YjZ>T3B3(99rDblJW7c&z;$L=e3-Ljzh(|GL+8dwY?|xVXx|h!`QR9f
z8rnFMJ*by6?y_=kg-=zTgv|pRsqx7{etD8xS825*W!zhfX_e|%&gz=QP9}7_i!RYu
zqK=4Er&Pas#tt1$GV#@OCu-C>C2I0(Orn~T8C2?(=p}CGGBq70q%^6qF>R2I$y9e5
zH7hM@-xN!lJYmQ*;*bZFHZ?w!7#|linqq{YLx)A@b9zcNJ)xOa&jd4^?qa%5zpD1z
zmulDbEa@#PcdOlMM53$GfH|rqS<ke=l9?ReBT46JahA7hb?Mwn{0sKlLCTFOZfTad
zSFhM6O{qFuOT<bqm+nqICQr!=@`k)6AIS>&M81#=StDP`FS1VlfB<lz2wqe`MJ0A3
zghn*sAllJ^PITcEdJ)BG^x*=AF#?W@FfoJcxPcUI;U4be0Ulxj&+r_Jc#U^>k0mT)
z1)s4>v4-#XfuH#8%5&wr3exK(QTWoww|z@(n7V1RV|z?E!LCTQoODYj`y!O>J0#%*
zEy%%LH3CLxp#yz^pd@Ukt}Il14Ix>0OY?FtAj^{TtF*Mr!eg3mLvMwmv>lS|het^^
z?(+pYM4|Lj>9M#FrU)LCXQin`6>3n6Is~u>&De()>=z<+;RueR8xbK<Oo$Z60EVE0
f!9W5NNW#KwR;Zhp!yU}y?n_qoq42*QeF1*~FscGE

delta 1004
zcmd^-%}*0S7{=!*h_j=}5TNZ6R!b1HP*Fq>f{>~K5k%A!`Ov5fJIX3-p<BR@kebLr
zjbF(odJ|1dJW66bpa)MJ6oZN3Vw9VD@r(g4I@`s+!aYp(dEU(P&ik90icUpm9`WqG
zkx<p{+Q~@hT76B8^Nint>Qv?4%VaDs->EDJrus}nSV{A|DH4j3i*U@+hsB~l5aep1
zTGTym+GhWd=$bH%<Y2FE4+zUJtqYWw(4Mh=b9Bs1URliEl*5@CDpn|eb=uIAq9bm&
ziAK7js-aR!Pr3fVgpjLeGc{bU&=l8Wws}=}8LV=rqHsHQ$+Xt?vg$ol;YQbx-Y<r{
zI969Lt@iG5k+99UwPrRpQF;7G&p>>5SPo?WYkh#yGj8i6x}EGC5ti(p9xkM|P}*y>
z$kKkpkS-4d{jG;pwa*^Z6QXm%5()l^(zM?p{j)qLU2%h&4Ko=}tQC*TqEjq!&J|Rr
z9+T(f1(_vp$$K(SK9G-Okt~t#<R@7szsL$%g%2CB5!uK=5lT^pZK%dRG@=PnG~*~b
zaSSKWjdRe^4+9rrBZ)CgAcdQ_h1<A`hnU6_JjD!V@fvS1hXs7b7kuSd!Vj!q6~BEM
zKEE&EEa%0bIc@phvbrQxaoJhO4W{^dmlbtMs9RXE#@9*4p4`gHG@d2-dNQn4Xxu07
z)svOlF2*w`*Ol~MMXO-c`>kbljAzQr^JD{SWSqDU%F|Idhsv)cx}7-l1qXV_A1D$+
z04fThVY37gMmZwbfm+m|9t{#pGY+8@ZD>afCnc0#^kG0k5wI|V(KMP#3FbO(U`m3y
Qj|VS>|6SI9H0(6~0(y|<N&o-=

diff --git a/src/ontologies/ARINC661/paper.thy b/src/ontologies/ARINC661/paper.thy
index 4c085ef..033d708 100644
--- a/src/ontologies/ARINC661/paper.thy
+++ b/src/ontologies/ARINC661/paper.thy
@@ -17,11 +17,12 @@ define_shortcut*  isabelle \<rightleftharpoons> \<open>Isabelle/HOL\<close>
 
 (********************************************************)
 (* TITLE ************************************************)
-title*[tit::title]\<open>Formal Conformance of A Saftety-Critical UI-component with the ARINC Standard\<close>
+title*[tit::title]\<open>Formal Conformance of a Safety-Critical UI-Component with the ARINC Standard\<close>
 
 (**********************************************************)
 (* AUTHORS ************************************************)
-author*[idir,email="\<open>idir.aitsadoune@centralesupelec.fr\<close>",affiliation="\<open>LMF, CentraleSupelec, Université Paris-Saclay\<close>"]
+author*[idir,email="\<open>idir.aitsadoune@centralesupelec.fr\<close>",
+        affiliation="\<open>LMF, CentraleSupelec, Université Paris-Saclay\<close>"]
 \<open>Idir Ait-Sadoune\<close>
 author*[nicolas,email="\<open>nicolas.meric@lri.fr\<close>",affiliation="\<open>LMF, Université Paris-Saclay\<close>"]
 \<open>Nicolas Méric\<close>