|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Examples.thy
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
7468656F7279204578616D706C65730A
696D706F727473204D61696E2022484F
4C2D4C6962726172792E507265646963
6174655F436F6D70696C655F416C7465
726E61746976655F44656673220A6265
67696E0A0A6465636C617265205B5B76
616C7565735F74696D656F7574203D20
3438302E305D5D0A0A73656374696F6E
205C3C6F70656E3E466F726D616C204C
616E6775616765735C3C636C6F73653E
0A0A73756273656374696F6E205C3C6F
70656E3E47656E6572616C20436F6E74
6578742046726565204772616D6D6172
735C3C636C6F73653E0A0A7465787420
5C3C6F70656E3E6120636F6E74726962
7574696F6E2062792041646974692042
6172746877616C5C3C636C6F73653E0A
0A64617461747970652028276E74732C
277473292073796D626F6C203D204E54
5320276E74730A202020202020202020
20202020202020202020202020202020
2020207C205453202774730A0A202020
20202020202020202020202020202020
2020202020202020200A646174617479
70652028276E74732C27747329207275
6C65203D2072756C6520276E74732022
28276E74732C277473292073796D626F
6C206C697374220A0A747970655F7379
6E6F6E796D2028276E74732C27747329
206772616D6D6172203D202228276E74
732C277473292072756C652073657420
2A20276E7473220A0A66756E2072756C
6573203A3A202228276E74732C277473
29206772616D6D6172203D3E2028276E
74732C277473292072756C6520736574
220A77686572650A20202272756C6573
2028722C207329203D2072220A0A6465
66696E6974696F6E2064657269766573
200A77686572650A2264657269766573
2067203D207B20286C736C2C72736C29
2E205C3C6578697374733E7331207332
206C6873207268732E200A2020202020
20202020202020202020202020202020
202020202873312040205B4E5453206C
68735D2040207332203D206C736C2920
5C3C616E643E0A202020202020202020
20202020202020202020202020202020
28733120402072687320402073322920
3D2072736C205C3C616E643E0A202020
20202020202020202020202020202020
2020202020202872756C65206C687320
72687329205C3C696E3E206673742067
207D220A0A646566696E6974696F6E20
6465726976657370203A3A0A20202228
28276E74732C20277473292072756C65
203D3E20626F6F6C29202A20276E7473
203D3E2028276E74732C202774732920
73796D626F6C206C697374203D3E2028
276E74732C20277473292073796D626F
6C206C697374203D3E20626F6F6C220A
77686572650A20202264657269766573
702067203D20285C3C6C616D6264613E
206C6873207268732E20286C68732C20
72687329205C3C696E3E206465726976
65732028436F6C6C6563742028667374
2067292C20736E6420672929220A200A
6C656D6D61205B636F64655F70726564
5F6465665D3A0A202022646572697665
73702067203D20285C3C6C616D626461
3E206C736C2072736C2E205C3C657869
7374733E7331207332206C6873207268
732E200A202020202020202020202020
20202020202020202020202020287331
2040205B4E5453206C68735D20402073
32203D206C736C29205C3C616E643E0A
20202020202020202020202020202020
20202020202020202028733120402072
6873204020733229203D2072736C205C
3C616E643E0A20202020202020202020
20202020202020202020202020202028
667374206729202872756C65206C6873
207268732929220A756E666F6C64696E
672064657269766573705F6465662064
6572697665735F646566206279206175
746F0A0A616262726576696174696F6E
20226578616D706C655F6772616D6D61
72203D3D200A287B2072756C65202727
532727205B4E54532027274127272C20
4E54532027274227275D2C0A20202072
756C65202727532727205B5453202727
6127275D2C0A202072756C6520272741
2727205B54532027276227275D7D2C20
272753272729220A0A646566696E6974
696F6E20226578616D706C655F72756C
6573203D3D200A2825782E2078203D20
72756C65202727532727205B4E545320
27274127272C204E5453202727422727
5D205C3C6F723E0A20202078203D2072
756C65202727532727205B5453202727
6127275D205C3C6F723E0A202078203D
2072756C65202727412727205B545320
27276227275D29220A0A0A636F64655F
70726564205B696E647563746966792C
20736B69705F70726F6F665D20646572
6976657370202E0A0A74686D20646572
69766573702E6571756174696F6E0A0A
646566696E6974696F6E202274657374
70203D202825207268732E2064657269
7665737020286578616D706C655F7275
6C65732C20272753272729205B4E5453
2027275327275D2072687329220A0A63
6F64655F7072656420286D6F6465733A
206F205C3C52696768746172726F773E
20626F6F6C29205B696E647563746966
795D207465737470202E0A74686D2074
657374702E6571756174696F6E0A0A76
616C75657320227B7268732E20746573
7470207268737D220A0A6465636C6172
6520727472616E636C702E696E74726F
732831295B636F64655F707265645F64
65665D20636F6E76657273655F727472
616E636C705F696E746F5F727472616E
636C705B636F64655F707265645F6465
665D0A0A636F64655F70726564205B69
6E647563746966795D20727472616E63
6C70202E0A0A646566696E6974696F6E
20227465737432203D20285C3C6C616D
6264613E207268732E20727472616E63
6C702028646572697665737020286578
616D706C655F72756C65732C20272753
27272929205B4E54532027275327275D
2072687329220A0A636F64655F707265
64205B696E647563746966792C20736B
69705F70726F6F665D20746573743220
2E0A0A76616C75657320227B7268732E
207465737432207268737D220A0A7375
6273656374696F6E205C3C6F70656E3E
536F6D6520636F6E637265746520436F
6E746578742046726565204772616D6D
6172735C3C636C6F73653E0A0A646174
617479706520616C706861626574203D
2061207C20620A0A696E647563746976
655F73657420535C3C5E7375623E3120
616E6420415C3C5E7375623E3120616E
6420425C3C5E7375623E312077686572
650A2020225B5D205C3C696E3E20535C
3C5E7375623E31220A7C202277205C3C
696E3E20415C3C5E7375623E31205C3C
4C6F6E6772696768746172726F773E20
6220232077205C3C696E3E20535C3C5E
7375623E31220A7C202277205C3C696E
3E20425C3C5E7375623E31205C3C4C6F
6E6772696768746172726F773E206120
232077205C3C696E3E20535C3C5E7375
623E31220A7C202277205C3C696E3E20
535C3C5E7375623E31205C3C4C6F6E67
72696768746172726F773E2061202320
77205C3C696E3E20415C3C5E7375623E
31220A7C202277205C3C696E3E20535C
3C5E7375623E31205C3C4C6F6E677269
6768746172726F773E20622023207720
5C3C696E3E20535C3C5E7375623E3122
0A7C20225C3C6C6272616B6B3E76205C
3C696E3E20425C3C5E7375623E313B20
76205C3C696E3E20425C3C5E7375623E
315C3C726272616B6B3E205C3C4C6F6E
6772696768746172726F773E20612023
207620402077205C3C696E3E20425C3C
5E7375623E31220A0A636F64655F7072
6564205B696E647563746966795D2053
5C3C5E7375623E3170202E0A636F6465
5F70726564205B72616E646F6D5F6473
657120696E647563746966795D20535C
3C5E7375623E3170202E0A74686D2053
5C3C5E7375623E31702E657175617469
6F6E0A74686D20535C3C5E7375623E31
702E72616E646F6D5F647365715F6571
756174696F6E0A0A76616C756573205B
72616E646F6D5F6473657120352C2035
2C20355D203520227B782E20535C3C5E
7375623E317020787D220A0A696E6475
63746976655F73657420535C3C5E7375
623E3220616E6420415C3C5E7375623E
3220616E6420425C3C5E7375623E3220
77686572650A2020225B5D205C3C696E
3E20535C3C5E7375623E32220A7C2022
77205C3C696E3E20415C3C5E7375623E
32205C3C4C6F6E677269676874617272
6F773E206220232077205C3C696E3E20
535C3C5E7375623E32220A7C20227720
5C3C696E3E20425C3C5E7375623E3220
5C3C4C6F6E6772696768746172726F77
3E206120232077205C3C696E3E20535C
3C5E7375623E32220A7C202277205C3C
696E3E20535C3C5E7375623E32205C3C
4C6F6E6772696768746172726F773E20
6120232077205C3C696E3E20415C3C5E
7375623E32220A7C202277205C3C696E
3E20535C3C5E7375623E32205C3C4C6F
6E6772696768746172726F773E206220
232077205C3C696E3E20425C3C5E7375
623E32220A7C20225C3C6C6272616B6B
3E76205C3C696E3E20425C3C5E737562
3E323B2076205C3C696E3E20425C3C5E
7375623E325C3C726272616B6B3E205C
3C4C6F6E6772696768746172726F773E
20612023207620402077205C3C696E3E
20425C3C5E7375623E32220A0A636F64
655F70726564205B72616E646F6D5F64
73657120696E647563746966795D2053
5C3C5E7375623E3270202E0A74686D20
535C3C5E7375623E32702E72616E646F
6D5F647365715F6571756174696F6E0A
74686D20415C3C5E7375623E32702E72
616E646F6D5F647365715F6571756174
696F6E0A74686D20425C3C5E7375623E
32702E72616E646F6D5F647365715F65
71756174696F6E0A0A76616C75657320
5B72616E646F6D5F6473657120352C20
352C20355D20313020227B782E20535C
3C5E7375623E327020787D220A0A696E
647563746976655F73657420535C3C5E
7375623E3320616E6420415C3C5E7375
623E3320616E6420425C3C5E7375623E
332077686572650A2020225B5D205C3C
696E3E20535C3C5E7375623E33220A7C
202277205C3C696E3E20415C3C5E7375
623E33205C3C4C6F6E67726967687461
72726F773E206220232077205C3C696E
3E20535C3C5E7375623E33220A7C2022
77205C3C696E3E20425C3C5E7375623E
33205C3C4C6F6E677269676874617272
6F773E206120232077205C3C696E3E20
535C3C5E7375623E33220A7C20227720
5C3C696E3E20535C3C5E7375623E3320
5C3C4C6F6E6772696768746172726F77
3E206120232077205C3C696E3E20415C
3C5E7375623E33220A7C202277205C3C
696E3E20535C3C5E7375623E33205C3C
4C6F6E6772696768746172726F773E20
6220232077205C3C696E3E20425C3C5E
7375623E33220A7C20225C3C6C627261
6B6B3E76205C3C696E3E20425C3C5E73
75623E333B2077205C3C696E3E20425C
3C5E7375623E335C3C726272616B6B3E
205C3C4C6F6E6772696768746172726F
773E20612023207620402077205C3C69
6E3E20425C3C5E7375623E33220A0A63
6F64655F70726564205B696E64756374
6966792C20736B69705F70726F6F665D
20535C3C5E7375623E3370202E0A7468
6D20535C3C5E7375623E33702E657175
6174696F6E0A0A76616C756573203130
20227B782E20535C3C5E7375623E3370
20787D220A0A696E647563746976655F
73657420535C3C5E7375623E3420616E
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
