products/sources/formale sprachen/Delphi/Agenda 1.1 image not shown  


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Argo_Examples.thy   Sprache: Isabelle

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
282A20205469746C653A202020202020
484F4C2F65782F4172676F5F4578616D
706C65732E7468790A20202020417574
686F723A202020202053617363686120
426F65686D650A2A290A0A7365637469
6F6E205C3C6F70656E3E4172676F5C3C
636C6F73653E0A0A7468656F72792041
72676F5F4578616D706C65730A696D70
6F72747320436F6D706C65785F4D6169
6E0A626567696E0A0A74657874205C3C
6F70656E3E0A20205468697320746865
6F727920697320696E74656E64656420
746F2073686F776361736520616E6420
7465737420646966666572656E742066
65617475726573206F6620746865205C
3C6F70656E3E6172676F5C3C636C6F73
653E2070726F6F66206D6574686F642E
0A0A2020546865205C3C6F70656E3E61
72676F5C3C636C6F73653E2070726F6F
66206D6574686F642063616E20626520
6170706C69656420746F2070726F706F
736974696F6E616C2070726F626C656D
732C2070726F626C656D7320696E766F
6C76696E6720657175616C6974790A20
20726561736F6E696E6720616E642070
726F626C656D73206F66206C696E6561
72207265616C2061726974686D657469
632E0A0A2020546865205C3C6F70656E
3E6172676F5C3C636C6F73653E207072
6F6F66206D6574686F642070726F7669
6465732074776F206F7074696F6E732E
20546F207370656369667920616E2075
70706572206C696D6974206F66207468
652070726F6F66206D6574686F64730A
202072756E2074696D6520696E207365
636F6E64732C2075736520746865206F
7074696F6E205C3C6F70656E3E617267
6F5F74696D656F75745C3C636C6F7365
3E2E20546F2073706563696679207468
6520616D6F756E74206F66206F757470
75742C20757365207468650A20206F70
74696F6E205C3C6F70656E3E6172676F
5F74726163655C3C636C6F73653E2077
6974682076616C7565205C3C6F70656E
3E6E6F6E655C3C636C6F73653E20666F
72206E6F2074726163696E67206F7574
7075742C2076616C7565205C3C6F7065
6E3E62617369635C3C636C6F73653E20
666F722076696577696E67207468650A
2020756E6465726C79696E672070726F
706F736974696F6E7320616E6420736F
6D652074696D696E67732C20616E6420
76616C7565205C3C6F70656E3E66756C
6C5C3C636C6F73653E20666F72206164
646974696F6E616C6C7920696E737065
6374696E67207468650A202070726F6F
66207265706C61792073746570732E0A
5C3C636C6F73653E0A0A6465636C6172
655B5B6172676F5F7472616365203D20
66756C6C5D5D0A0A7375627365637469
6F6E205C3C6F70656E3E50726F706F73
6974696F6E616C206C6F6769635C3C63
6C6F73653E0A0A6E6F74657061640A62
6567696E0A2020686176652022547275
6522206279206172676F0A6E6578740A
20206861766520227E46616C73652220
6279206172676F0A6E6578740A202066
69782050203A3A20626F6F6C0A202061
7373756D65202246616C7365220A2020
7468656E206861766520225022206279
206172676F0A6E6578740A2020666978
2050203A3A20626F6F6C0A2020617373
756D6520227E54727565220A20207468
656E2068617665202250222062792061
72676F0A6E6578740A20206669782050
203A3A20626F6F6C0A2020617373756D
65202250220A20207468656E20686176
6520225022206279206172676F0A6E65
78740A20206669782050203A3A20626F
6F6C0A2020617373756D6520227E7E50
220A20207468656E2068617665202250
22206279206172676F0A6E6578740A20
20666978205020512052203A3A20626F
6F6C0A2020617373756D652022502026
205120262052220A20207468656E2068
61766520225220262050202620512220
6279206172676F0A6E6578740A202066
6978205020512052203A3A20626F6F6C
0A2020617373756D6520225020262028
51202620547275652026205229202620
2851202620502920262054727565220A
20207468656E20686176652022522026
20502026205122206279206172676F0A
6E6578740A2020666978205020513120
5132205133205134205135203A3A2062
6F6F6C0A2020617373756D6520225131
20262028513220262050202620513329
2026202851342026207E502026205135
29220A20207468656E20686176652022
7E5472756522206279206172676F0A6E
6578740A202066697820502051312051
3220513320203A3A20626F6F6C0A2020
617373756D6520222851312026204661
6C73652920262051322026205133220A
20207468656E20686176652022503A3A
626F6F6C22206279206172676F0A6E65
78740A2020666978205020512052203A
3A20626F6F6C0A2020617373756D6520
2250207C2051207C2052220A20207468
656E2068617665202252207C2050207C
205122206279206172676F0A6E657874
0A2020666978205020512052203A3A20
626F6F6C0A2020617373756D65202250
207C202851207C2046616C7365207C20
5229207C202851207C205029207C2046
616C7365220A20207468656E20686176
65202252207C2050207C205122206279
206172676F0A6E6578740A2020666978
2050205131205132205133205134203A
3A20626F6F6C0A202068617665202228
513120262050202620513229202D2D3E
2046616C7365207C20285133207C2028
5134207C205029207C2046616C736529
22206279206172676F0A6E6578740A20
20666978205131205132205133205134
203A3A20626F6F6C0A20206861766520
225131207C20285132207C2054727565
207C20513329207C2051342220627920
6172676F0A6E6578740A202066697820
5020512052203A3A20626F6F6C0A2020
617373756D6520222850202620512920
7C2028502026207E5129207C20285020
26205229207C2028502026207E522922
0A20207468656E206861766520225022
206279206172676F0A6E6578740A2020
6669782050203A3A20626F6F6C0A2020
617373756D65202250203D2054727565
220A20207468656E2068617665202250
22206279206172676F0A6E6578740A20
206669782050203A3A20626F6F6C0A20
20617373756D65202246616C7365203D
2050220A20207468656E206861766520
227E5022206279206172676F0A6E6578
740A202066697820502051203A3A2062
6F6F6C0A2020617373756D6520225020
3D20287E5029220A20207468656E2068
61766520225122206279206172676F0A
6E6578740A20206669782050203A3A20
626F6F6C0A2020686176652022287E50
29203D20287E50292220627920617267
6F0A6E6578740A202066697820502051
203A3A20626F6F6C0A2020617373756D
652022502220616E6420227E51220A20
207468656E2068617665202250203D20
287E512922206279206172676F0A6E65
78740A202066697820502051203A3A20
626F6F6C0A2020617373756D65202228
28503A3A626F6F6C29203D205129207C
202851203D205029220A20207468656E
206861766520222850202D2D3E205129
2026202851202D2D3E20502922206279
206172676F0A6E6578740A2020666978
20502051203A3A20626F6F6C0A202061
7373756D65202228503A3A626F6F6C29
203D2051220A20207468656E20686176
65202251203D20502220627920617267
6F0A6E6578740A202066697820502051
2052203A3A20626F6F6C0A2020617373
756D65202269662050207468656E2051
20656C73652052220A20207468656E20
68617665202251207C20522220627920
6172676F0A6E6578740A202066697820
502051203A3A20626F6F6C0A20206173
73756D65202250207C2051220A202020
2020616E64202250207C207E51220A20
20202020616E6420227E50207C205122
0A2020202020616E6420227E50207C20
7E51220A20207468656E206861766520
2246616C736522206279206172676F0A
6E6578740A2020666978205020512052
203A3A20626F6F6C0A2020617373756D
65202250207C2051207C2052220A2020
202020616E64202250207C2051207C20
7E52220A2020202020616E6420225020
7C207E51207C2052220A202020202061
6E64202250207C207E51207C207E5222
0A2020202020616E6420227E50207C20
51207C2052220A2020202020616E6420
227E50207C2051207C207E52220A2020
202020616E6420227E50207C207E5120
7C2052220A2020202020616E6420227E
50207C207E51207C207E52220A202074
68656E2068617665202246616C736522
206279206172676F0A6E6578740A2020
66697820612062206320642065206620
6720682069206A206B206C206D206E20
702071203A3A20626F6F6C0A20206173
73756D652022286120262062207C2063
2026206429202620286520262066207C
20672026206829207C2028692026206A
207C206B2026206C29202620286D2026
206E207C20702026207129220A202074
68656E20686176652022286120262062
207C2063202620642920262028652026
2066207C20672026206829207C202869
2026206A207C206B2026206C29202620
286D2026206E207C2070202620712922
206279206172676F0A6E6578740A2020
6669782050203A3A20626F6F6C0A2020
686176652022503D503D503D503D503D
503D503D503D503D5022206279206172
676F0A6E6578740A2020666978206120
62206320642065206620702071207820
3A3A20626F6F6C0A2020617373756D65
202261207C2062207C2063207C206422
0A2020202020616E64202265207C2066
207C2028612026206429220A20202020
20616E6420227E2861207C2028632026
207E632929207C2062220A2020202020
616E6420227E28622026202878207C20
7E782929207C2063220A202020202061
6E6420227E2864207C2046616C736529
207C2063220A2020202020616E642022
7E2863207C20287E702026202870207C
2028712026207E7129292929220A2020
7468656E2068617665202246616C7365
22206279206172676F0A6E6578740A20
20686176652022285472756520262054
7275652026205472756529203D205472
756522206279206172676F0A6E657874
0A20206861766520222846616C736520
7C2046616C7365207C2046616C736529
203D2046616C73652220627920617267
6F0A656E640A0A0A7375627365637469
6F6E205C3C6F70656E3E457175616C69
74792C20636F6E677275656E63652061
6E6420707265646963617465735C3C63
6C6F73653E0A0A6E6F74657061640A62
6567696E0A20206669782074203A3A20
222761220A202068617665202274203D
207422206279206172676F0A6E657874
0A202066697820742075203A3A202227
61220A2020617373756D65202274203D
2075220A20207468656E206861766520
2275203D207422206279206172676F0A
6E6578740A2020666978207320742075
203A3A20222761220A2020617373756D
65202273203D20742220616E64202274
203D2075220A20207468656E20686176
65202273203D20752220627920617267
6F0A6E6578740A202066697820732074
20752076203A3A20222761220A202061
7373756D65202273203D20742220616E
64202274203D20752220616E64202275
203D20762220616E64202275203D2073
220A20207468656E2068617665202273
...

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