Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
AllocBase.thy
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
5A462F554E4954592F416C6C6F634261
73652E7468790A20202020417574686F
723A202020202053696469204F204568
6D6574792C2043616D62726964676520
556E697665727369747920436F6D7075
746572204C61626F7261746F72790A20
202020436F7079726967687420202032
3030312020556E697665727369747920
6F662043616D6272696467650A2A290A
0A73656374696F6E5C3C6F70656E3E43
6F6D6D6F6E206465636C61726174696F
6E7320666F72204368616E647920616E
64204368617270656E74696572277320
416C6C6F6361746F725C3C636C6F7365
3E0A0A7468656F727920416C6C6F6342
61736520696D706F72747320466F6C6C
6F7773204D756C746973657453756D20
4775617220626567696E0A0A61626272
6576696174696F6E2028696E70757429
0A2020746F6B6261672020203A3A2069
2020282A20746F6B6261677320636F75
6C64206265206D756C7469736574732E
2E2E6F7220616E79206F726465726564
20747970653F2A290A77686572650A20
2022746F6B626167203D3D206E617422
0A0A6178696F6D6174697A6174696F6E
0A20204E6254203A3A206920616E6420
20282A204E756D626572206F6620746F
6B656E7320696E2073797374656D202A
290A20204E636C69656E7473203A3A20
692020282A204E756D626572206F6620
636C69656E7473202A290A7768657265
0A20204E62545F706F733A20224E6254
205C3C696E3E206E61742D7B307D2220
616E640A20204E636C69656E74735F70
6F733A20224E636C69656E7473205C3C
696E3E206E61742D7B307D220A20200A
746578745C3C6F70656E3E5468697320
66756E6374696F6E206D6572656C7920
73756D732074686520656C656D656E74
73206F662061206C6973745C3C636C6F
73653E0A636F6E73747320746F6B656E
73203A3A202269203D3E69220A202020
202020206974656D203A3A206920282A
204974656D7320746F206265206D6572
6765642F646973747269627574656420
2A290A7072696D726563200A20202274
6F6B656E73284E696C29203D2030220A
202022746F6B656E732028436F6E7328
782C78732929203D207820232B20746F
6B656E7328787329220A0A636F6E7374
73206261675F6F66203A3A202269203D
3E2069220A7072696D7265630A202022
6261675F6F66284E696C29202020203D
2030220A2020226261675F6F6628436F
6E7328782C78732929203D207B237823
7D202B23206261675F6F662878732922
0A0A0A746578745C3C6F70656E3E4465
66696E6974696F6E73206E6565646564
20696E20436C69656E742E7468792E20
20576520646566696E65206120726563
75727369766520707265646963617465
0A7573696E67203020616E6420312074
6F20636F646520746865207472757468
2076616C7565732E5C3C636C6F73653E
0A636F6E73747320616C6C5F64697374
696E637430203A3A2022693D3E69220A
7072696D7265630A202022616C6C5F64
697374696E637430284E696C29203D20
31220A202022616C6C5F64697374696E
63743028436F6E7328612C206C292920
3D0A20202020202869662061205C3C69
6E3E207365745F6F665F6C697374286C
29207468656E203020656C736520616C
6C5F64697374696E637430286C292922
0A0A646566696E6974696F6E0A202061
6C6C5F64697374696E637420203A3A20
22693D3E6F22202077686572650A2020
2022616C6C5F64697374696E6374286C
29203D3D20616C6C5F64697374696E63
7430286C293D31220A20200A64656669
6E6974696F6E20200A20207374617465
5F6F66203A3A202269203D3E6922205C
3C636F6D6D656E743E205C3C6F70656E
3E636F657273696F6E2066726F6D2061
6E7974696E6720746F2073746174655C
3C636C6F73653E202077686572650A20
20202273746174655F6F66287329203D
3D2069662073205C3C696E3E20737461
7465207468656E207320656C73652073
7430220A0A646566696E6974696F6E0A
20206C696674203A3A202269203D3E28
693D3E692922205C3C636F6D6D656E74
3E205C3C6F70656E3E73696D706C6966
69657320746865206578707265737369
6F6E206F662070726F6772616D735C3C
636C6F73653E202077686572650A2020
20226C696674287829203D3D2025732E
20736078220A0A746578745C3C6F7065
6E3E66756E6374696F6E20746F207368
6F772074686174207468652073657420
6F66207661726961626C657320697320
696E66696E6974655C3C636C6F73653E
0A636F6E7374730A20206E61745F6C69
73745F696E6A203A3A2022693D3E6922
0A20207661725F696E6A202020202020
3A3A2022693D3E69220A0A7072696D72
65630A2020226E61745F6C6973745F69
6E6A283029203D204E696C220A202022
6E61745F6C6973745F696E6A28737563
63286E2929203D20436F6E73286E2C20
6E61745F6C6973745F696E6A286E2929
220A0A7072696D7265630A2020227661
725F696E6A28566172286C2929203D20
6C656E677468286C29220A0A64656669
6E6974696F6E0A20206E61745F766172
5F696E6A20203A3A2022693D3E692220
2077686572650A2020226E61745F7661
725F696E6A286E29203D3D2056617228
6E61745F6C6973745F696E6A286E2929
220A0A0A73756273656374696F6E5C3C
6F70656E3E566172696F75732073696D
706C65206C656D6D61735C3C636C6F73
653E0A0A6C656D6D61204E636C69656E
74735F4E62545F67745F30205B73696D
705D3A202230203C204E636C69656E74
7320262030203C204E6254220A617070
6C7920286375745F746163204E636C69
656E74735F706F73204E62545F706F73
290A6170706C7920286175746F20696E
74726F3A204F72645F305F6C74290A64
6F6E650A0A6C656D6D61204E636C6965
6E74735F4E62545F6E6F745F30205B73
696D705D3A20224E636C69656E747320
5C3C6E6F7465713E20302026204E6254
205C3C6E6F7465713E2030220A627920
286375745F746163204E636C69656E74
735F706F73204E62545F706F732C2061
75746F290A0A6C656D6D61204E636C69
656E74735F74797065205B73696D702C
54435D3A20224E636C69656E74735C3C
696E3E6E6174220A627920286375745F
746163204E636C69656E74735F706F73
204E62545F706F732C206175746F290A
0A6C656D6D61204E62545F7479706520
5B73696D702C54435D3A20224E62545C
3C696E3E6E6174220A62792028637574
5F746163204E636C69656E74735F706F
73204E62545F706F732C206175746F29
0A0A6C656D6D6120494E545F4E636C69
656E745F696666205B6966665D3A0A20
2020202022625C3C696E3E5C3C496E74
65723E2852657046756E284E636C6965
6E74732C20422929205C3C6C6F6E676C
65667472696768746172726F773E2028
5C3C666F72616C6C3E785C3C696E3E4E
636C69656E74732E20625C3C696E3E42
28782929220A62792028666F72636520
73696D70206164643A20494E545F6966
66290A0A6C656D6D612073657473756D
5F66756E5F6D6F6E6F205B72756C655F
666F726D61745D3A0A2020202020226E
5C3C696E3E6E6174203D3D3E20200A20
2020202020285C3C666F72616C6C3E69
5C3C696E3E6E61742E20693C6E205C3C
6C6F6E6772696768746172726F773E20
6628692920245C3C6C653E2067286929
29205C3C6C6F6E677269676874617272
6F773E20200A20202020202073657473
756D28662C206E2920245C3C6C653E20
73657473756D28672C6E29220A617070
6C792028696E647563745F7461632022
6E222C2073696D705F616C6C290A6170
706C792028737562676F616C5F746163
202246696E697465287829202620785C
3C6E6F74696E3E7822290A2070726566
65722032206170706C79202873696D70
206164643A206E61745F696E746F5F46
696E697465206D656D5F6E6F745F7265
666C2C20636C6172696679290A617070
6C79202873696D7020286E6F5F61736D
5F73696D7029206164643A2073756363
5F646566290A6170706C792028737562
676F616C5F74616320225C3C666F7261
6C6C3E695C3C696E3E6E61742E20693C
785C3C6C6F6E6772696768746172726F
773E206628692920245C3C6C653E2067
2869292022290A207072656665722032
206170706C792028666F726365206465
73743A206C654929200A6170706C7920
2872756C65207A6164645F7A6C655F6D
6F6E6F2C2073696D705F616C6C290A64
6F6E650A0A6C656D6D6120746F6B656E
735F74797065205B73696D702C54435D
3A20226C5C3C696E3E6C697374284129
203D3D3E20746F6B656E73286C295C3C
696E3E6E6174220A627920286572756C
65206C6973742E696E647563742C2061
75746F290A0A6C656D6D6120746F6B65
6E735F6D6F6E6F5F617578205B72756C
655F666F726D61745D3A0A2020202020
2278735C3C696E3E6C69737428412920
3D3D3E205C3C666F72616C6C3E79735C
3C696E3E6C6973742841292E203C7873
2C2079733E5C3C696E3E707265666978
28412920200A2020205C3C6C6F6E6772
696768746172726F773E20746F6B656E
7328787329205C3C6C653E20746F6B65
6E7328797329220A6170706C79202869
6E647563745F7461632022787322290A
6170706C7920286175746F2064657374
3A2067656E5F7072656669782E646F6D
5F737562736574205B5448454E207375
62736574445D2073696D70206164643A
207072656669785F646566290A646F6E
650A0A6C656D6D6120746F6B656E735F
6D6F6E6F3A20223C78732C2079733E5C
3C696E3E707265666978284129203D3D
3E20746F6B656E7328787329205C3C6C
653E20746F6B656E7328797329220A61
70706C7920286375745F746163207072
656669785F74797065290A6170706C79
2028626C61737420696E74726F3A2074
6F6B656E735F6D6F6E6F5F617578290A
646F6E650A0A6C656D6D61206D6F6E6F
5F746F6B656E73205B6966665D3A2022
6D6F6E6F31286C6973742841292C2070
72656669782841292C206E61742C204C
652C746F6B656E7329220A6170706C79
2028756E666F6C64206D6F6E6F315F64
6566290A6170706C7920286175746F20
696E74726F3A20746F6B656E735F6D6F
6E6F2073696D70206164643A204C655F
646566290A646F6E650A0A6C656D6D61
20746F6B656E735F617070656E64205B
73696D705D3A200A225B7C2078735C3C
696E3E6C6973742841293B2079735C3C
696E3E6C697374284129207C5D203D3D
3E20746F6B656E732878734079732920
3D20746F6B656E732878732920232B20
746F6B656E7328797329220A6170706C
792028696E647563745F746163202278
73222C206175746F290A646F6E650A0A
73756273656374696F6E5C3C6F70656E
3E5468652066756E6374696F6E205C3C
5E7465726D3E5C3C6F70656E3E626167
5F6F665C3C636C6F73653E5C3C636C6F
73653E0A0A6C656D6D61206261675F6F
665F74797065205B73696D702C54435D
3A20226C5C3C696E3E6C697374284129
203D3D3E6261675F6F66286C295C3C69
6E3E4D756C74284129220A6170706C79
2028696E647563745F74616320226C22
290A6170706C7920286175746F207369
6D70206164643A204D756C745F696666
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|