products/Sources/formale Sprachen/VDM/VDMPP/PacemakerConcPP image not shown  


Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: HOL_Specific.thy   Sprache: Isabelle

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
282A3A6D61784C696E654C656E3D3738
3A2A290A0A7468656F727920484F4C5F
53706563696669630A2020696D706F72
74730A202020204D61696E0A20202020
22484F4C2D4C6962726172792E4F6C64
5F4461746174797065220A2020202022
484F4C2D4C6962726172792E4F6C645F
526563646566220A2020202022484F4C
2D4C6962726172792E4164686F635F4F
7665726C6F6164696E67220A20202020
22484F4C2D4C6962726172792E446C69
7374220A2020202022484F4C2D4C6962
726172792E46536574220A2020202042
6173650A626567696E0A0A0A63686170
746572205C3C6F70656E3E4869676865
722D4F72646572204C6F6769635C3C63
6C6F73653E0A0A74657874205C3C6F70
656E3E0A202049736162656C6C652F48
4F4C206973206261736564206F6E2048
69676865722D4F72646572204C6F6769
632C206120706F6C796D6F7270686963
2076657273696F6E206F660A20204368
7572636827732053696D706C65205468
656F7279206F662054797065732E2048
4F4C2063616E20626520626573742075
6E64657273746F6F6420617320610A20
2073696D706C792D7479706564207665
7273696F6E206F6620636C6173736963
616C20736574207468656F72792E2054
6865206C6F6769632077617320666972
73740A2020696D706C656D656E746564
20696E20476F72646F6E277320484F4C
2073797374656D20407B636974652022
6D676F72646F6E2D686F6C227D2E2049
7420657874656E64730A202043687572
63682773206F726967696E616C206C6F
67696320407B63697465202263687572
63683430227D206279206578706C6963
69742074797065207661726961626C65
7320286E616976650A2020706F6C796D
6F72706869736D2920616E6420612073
6F756E64206178696F6D6174697A6174
696F6E20736368656D6520666F72206E
6577207479706573206261736564206F
6E0A202073756273657473206F662065
78697374696E672074797065732E0A0A
2020416E6472657773277320626F6F6B
20407B6369746520616E647265777338
367D20697320612066756C6C20646573
6372697074696F6E206F662074686520
6F726967696E616C0A20204368757263
682D7374796C65206869676865722D6F
72646572206C6F6769632C2077697468
2070726F6F6673206F6620636F727265
63746E65737320616E6420636F6D706C
6574656E6573730A20207772742E5C20
6365727461696E207365742D7468656F
726574696320696E7465727072657461
74696F6E732E20546865207061727469
63756C617220657874656E73696F6E73
206F660A2020476F72646F6E2D737479
6C6520484F4C20617265206578706C61
696E65642073656D616E746963616C6C
7920696E2074776F2063686170746572
73206F6620746865203139393320484F
4C0A2020626F6F6B20407B6369746520
706974747339337D2E0A0A2020457870
657269656E6365207769746820484F4C
206F7665722064656361646573206861
732064656D6F6E737472617465642074
686174206869676865722D6F72646572
206C6F6769632069730A202077696465
6C79206170706C696361626C6520696E
206D616E79206172656173206F66206D
617468656D617469637320616E642063
6F6D707574657220736369656E63652E
20496E20610A202073656E73652C2048
69676865722D4F72646572204C6F6769
632069732073696D706C657220746861
6E2046697273742D4F72646572204C6F
6769632C206265636175736520746865
72650A20206172652066657765722072
65737472696374696F6E7320616E6420
7370656369616C2063617365732E204E
6F7465207468617420484F4C20697320
5C3C5E656D70683E5C3C6F70656E3E77
65616B65725C3C636C6F73653E207468
616E0A2020464F4C2077697468206178
696F6D7320666F72205A462073657420
7468656F72792C207768696368206973
20747261646974696F6E616C6C792063
6F6E73696465726564207468650A2020
7374616E6461726420666F756E646174
696F6E206F6620726567756C6172206D
617468656D61746963732C2062757420
666F72206D6F7374206170706C696361
74696F6E7320746869730A2020646F65
73206E6F74206D61747465722E204966
20796F7520707265666572204D4C2074
6F204C6973702C20796F752077696C6C
2070726F6261626C7920707265666572
20484F4C20746F0A20205A462E0A0A20
205C3C5E6D6564736B69703E20546865
2073796E746178206F6620484F4C2066
6F6C6C6F7773205C3C6F70656E3E5C3C
6C616D6264613E5C3C636C6F73653E2D
63616C63756C757320616E642066756E
6374696F6E616C2070726F6772616D6D
696E672E0A202046756E6374696F6E20
6170706C69636174696F6E2069732063
7572726965642E20546F206170706C79
207468652066756E6374696F6E205C3C
6F70656E3E665C3C636C6F73653E206F
662074797065205C3C6F70656E3E5C3C
7461753E5C3C5E7375623E31205C3C52
696768746172726F773E0A20205C3C74
61753E5C3C5E7375623E32205C3C5269
6768746172726F773E205C3C7461753E
5C3C5E7375623E335C3C636C6F73653E
20746F2074686520617267756D656E74
73205C3C6F70656E3E615C3C636C6F73
653E20616E64205C3C6F70656E3E625C
3C636C6F73653E20696E20484F4C2C20
796F752073696D706C79207772697465
205C3C6F70656E3E66206120625C3C63
6C6F73653E202861730A2020696E204D
4C206F72204861736B656C6C292E2054
68657265206973206E6F206060617070
6C792727206F70657261746F723B2074
6865206578697374696E67206170706C
69636174696F6E0A20206F6620746865
2050757265205C3C6F70656E3E5C3C6C
616D6264613E5C3C636C6F73653E2D63
616C63756C75732069732072652D7573
65642E204E6F7465207468617420696E
20484F4C205C3C6F70656E3E66202861
2C2062295C3C636C6F73653E206D6561
6E732060605C3C6F70656E3E665C3C63
6C6F73653E0A20206170706C69656420
746F207468652070616972205C3C6F70
656E3E28612C2062295C3C636C6F7365
3E20287768696368206973206E6F7461
74696F6E20666F72205C3C6F70656E3E
50616972206120625C3C636C6F73653E
292E20546865206C61747465720A2020
7479706963616C6C7920696E74726F64
7563657320657874726120666F726D61
6C206566666F72747320746861742063
616E2062652061766F69646564206279
206375727279696E670A202066756E63
74696F6E732062792064656661756C74
2E204578706C69636974207475706C65
732061726520617320696E6672657175
656E7420696E20484F4C0A2020666F72
6D616C697A6174696F6E732061732069
6E20676F6F64204D4C206F7220486173
6B656C6C2070726F6772616D732E0A0A
20205C3C5E6D6564736B69703E204973
6162656C6C652F484F4C206861732061
2064697374696E6374206665656C2C20
636F6D706172656420746F206F746865
72206F626A6563742D6C6F6769637320
6C696B650A202049736162656C6C652F
5A462E204974206964656E7469666965
73206F626A6563742D6C6576656C2074
797065732077697468206D6574612D6C
6576656C2074797065732C2074616B69
6E670A2020616476616E74616765206F
66207468652064656661756C74207479
70652D696E666572656E6365206D6563
68616E69736D206F662049736162656C
6C652F507572652E20484F4C0A202066
756C6C79206964656E74696669657320
6F626A6563742D6C6576656C2066756E
6374696F6E732077697468206D657461
2D6C6576656C2066756E6374696F6E73
2C20776974680A20206E617469766520
6162737472616374696F6E20616E6420
6170706C69636174696F6E2E0A0A2020
5468657365206964656E746966696361
74696F6E7320616C6C6F772049736162
656C6C6520746F20737570706F727420
484F4C20706172746963756C61726C79
206E6963656C792C206275740A202074
68657920616C736F206D65616E207468
617420484F4C20726571756972657320
736F6D6520736F706869737469636174
696F6E2066726F6D2074686520757365
722E20496E0A2020706172746963756C
61722C20616E20756E6465727374616E
64696E67206F662048696E646C65792D
4D696C6E657220747970652D696E6665
72656E636520776974680A2020747970
652D636C61737365732C207768696368
2061726520626F746820757365642065
7874656E736976656C7920696E207468
65207374616E64617264206C69627261
7269657320616E640A20206170706C69
636174696F6E732E0A5C3C636C6F7365
3E0A0A0A63686170746572205C3C6F70
656E3E44657269766564207370656369
6669636174696F6E20656C656D656E74
735C3C636C6F73653E0A0A7365637469
6F6E205C3C6F70656E3E496E64756374
69766520616E6420636F696E64756374
69766520646566696E6974696F6E7320
5C6C6162656C7B7365633A686F6C2D69
6E647563746976657D5C3C636C6F7365
3E0A0A74657874205C3C6F70656E3E0A
20205C626567696E7B6D617468617272
61797D7B72636C7D0A20202020407B63
6F6D6D616E645F6465662028484F4C29
2022696E64756374697665227D202620
3A2026205C3C6F70656E3E6C6F63616C
5F7468656F7279205C3C726967687461
72726F773E206C6F63616C5F7468656F
72795C3C636C6F73653E205C5C0A2020
2020407B636F6D6D616E645F64656620
28484F4C292022696E64756374697665
5F736574227D2026203A2026205C3C6F
70656E3E6C6F63616C5F7468656F7279
205C3C72696768746172726F773E206C
6F63616C5F7468656F72795C3C636C6F
73653E205C5C0A20202020407B636F6D
6D616E645F6465662028484F4C292022
636F696E64756374697665227D202620
3A2026205C3C6F70656E3E6C6F63616C
5F7468656F7279205C3C726967687461
72726F773E206C6F63616C5F7468656F
72795C3C636C6F73653E205C5C0A2020
2020407B636F6D6D616E645F64656620
28484F4C292022636F696E6475637469
76655F736574227D2026203A2026205C
3C6F70656E3E6C6F63616C5F7468656F
7279205C3C72696768746172726F773E
206C6F63616C5F7468656F72795C3C63
6C6F73653E205C5C0A20202020407B63
6F6D6D616E645F64656620227072696E
745F696E6475637469766573227D5C3C
6F70656E3E5C3C5E7375703E2A5C3C63
6C6F73653E2026203A2026205C3C6F70
656E3E636F6E74657874205C3C726967
68746172726F773E5C3C636C6F73653E
205C5C0A20202020407B617474726962
7574655F6465662028484F4C29206D6F
6E6F7D2026203A2026205C3C6F70656E
3E6174747269627574655C3C636C6F73
653E205C5C0A20205C656E647B6D6174
6861727261797D0A0A2020416E205C3C
5E656D70683E5C3C6F70656E3E696E64
75637469766520646566696E6974696F
6E5C3C636C6F73653E20737065636966
69657320746865206C65617374207072
65646963617465206F7220736574205C
3C6F70656E3E525C3C636C6F73653E20
636C6F7365640A2020756E6465722067
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!