|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
TypeRel.thy
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F4E616E6F4A6176612F547970
6552656C2E7468790A20202020417574
686F723A202020202044617669642076
6F6E204F6865696D622C20546563686E
697363686520556E6976657273697461
6574204D75656E6368656E0A2A290A0A
73656374696F6E202254797065207265
6C6174696F6E73220A0A7468656F7279
205479706552656C0A696D706F727473
204465636C0A626567696E0A0A746578
745C3C6F70656E3E4469726563742073
7562636C6173732072656C6174696F6E
5C3C636C6F73653E0A0A646566696E69
74696F6E20737562636C7331203A3A20
2228636E616D65205C3C74696D65733E
20636E616D652920736574220A776865
72650A202022737562636C7331205C3C
65717569763E207B28432C44292E2043
5C3C6E6F7465713E4F626A656374205C
3C616E643E20285C3C6578697374733E
632E20636C6173732043203D20536F6D
652063205C3C616E643E207375706572
20633D44297D220A0A61626272657669
6174696F6E0A2020737562636C73315F
73796E746178203A3A20225B636E616D
652C20636E616D655D203D3E20626F6F
6C22202028225F205C3C707265633E43
31205F22205B37312C37315D20373029
0A20207768657265202243205C3C7072
65633E43312044203D3D2028432C4429
205C3C696E3E20737562636C7331220A
616262726576696174696F6E0A202073
7562636C735F73796E74617820203A3A
20225B636E616D652C20636E616D655D
203D3E20626F6F6C222028225F205C3C
7072656365713E43205F2220205B3731
2C37315D203730290A20207768657265
202243205C3C7072656365713E432044
205C3C65717569763E2028432C442920
5C3C696E3E20737562636C73315C3C5E
7375703E2A220A0A0A73756273656374
696F6E20224465636C61726174696F6E
7320616E642070726F70657274696573
206E6F74207573656420696E20746865
206D657461207468656F7279220A0A74
6578745C3C6F70656E3E576964656E69
6E672C2076697A2E206D6574686F6420
696E766F636174696F6E20636F6E7665
7273696F6E5C3C636C6F73653E0A696E
647563746976650A2020776964656E20
3A3A20227479203D3E207479203D3E20
626F6F6C22202028225F205C3C707265
6365713E205F22205B37312C37315D20
3730290A77686572650A20207265666C
205B696E74726F212C2073696D705D3A
202254205C3C7072656365713E205422
0A7C20737562636C733A2022435C3C70
72656365713E432044205C3C4C6F6E67
72696768746172726F773E20436C6173
732043205C3C7072656365713E20436C
6173732044220A7C206E756C6C205B69
6E74726F215D3A20224E54205C3C7072
656365713E2052220A0A6C656D6D6120
737562636C7331443A200A202022435C
3C707265633E433144205C3C4C6F6E67
72696768746172726F773E2043205C3C
6E6F7465713E204F626A656374205C3C
616E643E20285C3C6578697374733E63
2E20636C6173732043203D20536F6D65
2063205C3C616E643E20737570657220
633D4429220A6170706C792028756E66
6F6C6420737562636C73315F64656629
0A6170706C79206175746F0A646F6E65
0A0A6C656D6D6120737562636C733149
3A20225C3C6C6272616B6B3E636C6173
732043203D20536F6D65206D3B207375
706572206D203D20443B2043205C3C6E
6F7465713E204F626A6563745C3C7262
72616B6B3E205C3C4C6F6E6772696768
746172726F773E20435C3C707265633E
433144220A6170706C792028756E666F
6C6420737562636C73315F646566290A
6170706C79206175746F0A646F6E650A
0A6C656D6D6120737562636C73315F64
6566323A200A202022737562636C7331
203D200A20202020285349474D412043
3A207B432E2069735F636C6173732043
7D202E207B442E20435C3C6E6F746571
3E4F626A656374205C3C616E643E2073
7570657220287468652028636C617373
20432929203D20447D29220A6170706C
792028756E666F6C6420737562636C73
315F6465662069735F636C6173735F64
6566290A6170706C7920286175746F20
73706C69743A69665F73706C69745F61
736D290A646F6E650A0A6C656D6D6120
66696E6974655F737562636C73313A20
2266696E69746520737562636C733122
0A6170706C7928737562737420737562
636C73315F64656632290A6170706C79
2872756C652066696E6974655F536967
6D6149205B4F462066696E6974655F69
735F636C6173735D290A6170706C7928
72756C655F7461632042203D20227B73
7570657220287468652028636C617373
204329297D2220696E2066696E697465
5F737562736574290A6170706C792020
6175746F0A646F6E650A0A646566696E
6974696F6E2077735F70726F67203A3A
2022626F6F6C222077686572650A2022
77735F70726F67205C3C65717569763E
205C3C666F72616C6C3E28432C63295C
3C696E3E7365742050726F672E20435C
3C6E6F7465713E4F626A656374205C3C
6C6F6E6772696768746172726F773E20
0A202020202020202020202020202020
20202020202020202020202020202069
735F636C617373202873757065722063
29205C3C616E643E2028737570657220
632C43295C3C6E6F74696E3E73756263
6C73315C3C5E7375703E2B220A0A6C65
6D6D612077735F70726F67443A20225C
3C6C6272616B6B3E636C617373204320
3D20536F6D6520633B20435C3C6E6F74
65713E4F626A6563743B2077735F7072
6F675C3C726272616B6B3E205C3C4C6F
6E6772696768746172726F773E20200A
202069735F636C617373202873757065
72206329205C3C616E643E2028737570
657220632C43295C3C6E6F74696E3E73
7562636C73315C3C5E7375703E2B220A
6170706C792028756E666F6C64207773
5F70726F675F64656620636C6173735F
646566290A6170706C7920286472756C
655F746163206D61705F6F665F536F6D
6544290A6170706C79206175746F0A64
6F6E650A0A6C656D6D6120737562636C
73315F69727265666C5F6C656D6D6131
3A202277735F70726F67205C3C4C6F6E
6772696768746172726F773E20737562
636C73315C3C696E76657273653E205C
3C696E7465723E20737562636C73315C
3C5E7375703E2B203D207B7D220A6279
20286661737420646573743A20737562
636C7331442077735F70726F6744290A
0A282A2069727265666C5F7472616E63
6C4920696E205472616E736974697665
5F436C6F737572652E74687920697320
6D6F72652067656E6572616C202A290A
6C656D6D612069727265666C5F747261
6E636C49273A2022725C3C696E766572
73653E205C3C696E7465723E20725C3C
5E7375703E2B203D207B7D205C3C4C6F
6E6772696768746172726F773E205C3C
666F72616C6C3E782E2028782C207829
205C3C6E6F74696E3E20725C3C5E7375
703E2B220A627928626C61737420656C
696D3A207472616E636C452064657374
3A207472616E636C5F696E746F5F7274
72616E636C290A0A0A6C656D6D617320
737562636C73315F69727265666C5F6C
656D6D6132203D20737562636C73315F
69727265666C5F6C656D6D6131205B54
48454E2069727265666C5F7472616E63
6C49275D0A0A6C656D6D612073756263
6C73315F69727265666C3A20225C3C6C
6272616B6B3E28782C207929205C3C69
6E3E20737562636C73313B2077735F70
726F675C3C726272616B6B3E205C3C4C
6F6E6772696768746172726F773E2078
205C3C6E6F7465713E2079220A617070
6C79202872756C652069727265666C5F
7472616E636C5F7244290A6170706C79
202872756C6520737562636C73315F69
727265666C5F6C656D6D6132290A6170
706C79206175746F0A646F6E650A0A6C
656D6D617320737562636C73315F6163
79636C6963203D20737562636C73315F
69727265666C5F6C656D6D6132205B54
48454E20616379636C6963495D0A0A6C
656D6D612077665F737562636C73313A
202277735F70726F67205C3C4C6F6E67
72696768746172726F773E2077662028
737562636C73315C3C696E7665727365
3E29220A627920286175746F20696E74
726F3A2066696E6974655F616379636C
69635F77665F636F6E76657273652066
696E6974655F737562636C7331207375
62636C73315F616379636C6963290A0A
646566696E6974696F6E20636C617373
5F726563203A3A22636E616D65205C3C
52696768746172726F773E2028636C61
7373205C3C52696768746172726F773E
20282761205C3C74696D65733E202762
29206C69737429205C3C526967687461
72726F773E20282761205C3C72696768
74686172706F6F6E75703E2027622922
0A77686572650A202022636C6173735F
726563205C3C65717569763E20776672
65632028737562636C73315C3C696E76
657273653E2920285C3C6C616D626461
3E726563204320662E0A202020202063
61736520636C6173732043206F66204E
6F6E65205C3C52696768746172726F77
3E20756E646566696E65640A20202020
20207C20536F6D65206D205C3C526967
68746172726F773E202869662043203D
204F626A656374207468656E204D6170
2E656D70747920656C73652072656320
287375706572206D29206629202B2B20
6D61705F6F66202866206D2929220A0A
6C656D6D6120636C6173735F7265633A
20225C3C6C6272616B6B3E636C617373
2043203D20536F6D65206D3B20207773
5F70726F675C3C726272616B6B3E205C
3C4C6F6E6772696768746172726F773E
0A20636C6173735F7265632043206620
3D202869662043203D204F626A656374
207468656E204D61702E656D70747920
656C736520636C6173735F7265632028
7375706572206D29206629202B2B200A
20202020202020202020202020202020
206D61705F6F66202866206D29220A61
70706C7920286472756C652077665F73
7562636C7331290A6170706C79202873
75627374206465665F77667265635B4F
4620636C6173735F7265635F6465665D
2C206175746F290A6170706C79202873
75627374206375745F6170706C792C20
6175746F20696E74726F3A2073756263
6C733149290A646F6E650A0A5C3C636F
6D6D656E743E205C3C6F70656E3E4D65
74686F6473206F66206120636C617373
2C207769746820696E6865726974616E
636520616E6420686964696E675C3C63
6C6F73653E0A646566696E6974696F6E
20226D6574686F6422203A3A2022636E
616D65203D3E20286D6E616D65205C3C
7269676874686172706F6F6E75703E20
6D6574686429222077686572650A2020
226D6574686F642043205C3C65717569
763E20636C6173735F7265632043206D
6574686F6473220A0A6C656D6D61206D
6574686F645F7265633A20225C3C6C62
72616B6B3E636C6173732043203D2053
6F6D65206D3B2077735F70726F675C3C
726272616B6B3E205C3C4C6F6E677269
6768746172726F773E0A6D6574686F64
2043203D2028696620433D4F626A6563
74207468656E204D61702E656D707479
20656C7365206D6574686F6420287375
706572206D2929202B2B206D61705F6F
6620286D6574686F6473206D29220A61
70706C792028756E666F6C64206D6574
686F645F646566290A6170706C792028
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
