products/Sources/formale Sprachen/Delphi/Elbe 1.0/Sources image not shown  


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: product_measure.prf   Sprache: Isabelle

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
282A0A20205469746C653A2020202048
4F4C2F416E616C797369732F496E6669
6E6974655F5365745F53756D2E746879
0A2020417574686F723A2020204D616E
75656C20456265726C2C205455204DFC
6E6368656E0A0A202041207468656F72
79206F662073756D73206F7665722070
6F737369626C6520696E66696E697465
20736574732E20284F6E6C7920776F72
6B7320666F72206162736F6C75746520
73756D6D6162696C697479290A2A290A
73656374696F6E205C3C6F70656E3E53
756D73206F76657220496E66696E6974
6520536574735C3C636C6F73653E0A0A
7468656F727920496E66696E6974655F
5365745F53756D0A2020696D706F7274
73205365745F496E74656772616C0A62
6567696E0A0A282A20544F444F204D6F
7665202A290A6C656D6D612073657473
5F65715F636F756E7461626C653A0A20
20617373756D65732022636F756E7461
626C6520412220227370616365204D20
3D20412220225C3C416E643E782E2078
205C3C696E3E2041205C3C4C6F6E6772
696768746172726F773E207B787D205C
3C696E3E2073657473204D220A202073
686F77732020202273657473204D203D
20506F772041220A70726F6F66202869
6E74726F20657175616C697479492073
756273657449290A2020666978205820
617373756D65202258205C3C696E3E20
506F772041220A202068656E63652022
285C3C556E696F6E3E785C3C696E3E58
2E207B787D29205C3C696E3E20736574
73204D220A2020202062792028696E74
726F20736574732E636F756E7461626C
655F554E2720636F756E7461626C655F
7375627365745B4F46205F206173736D
732831295D2920286175746F20696E74
726F213A206173736D73283329290A20
20616C736F20686176652022285C3C55
6E696F6E3E785C3C696E3E582E207B78
7D29203D205822206279206175746F0A
202066696E616C6C792073686F772022
58205C3C696E3E2073657473204D2220
2E0A6E6578740A202066697820582061
7373756D65202258205C3C696E3E2073
657473204D220A202066726F6D207365
74732E736574735F696E746F5F737061
63655B4F4620746869735D20616E6420
6173736D730A2020202073686F772022
58205C3C696E3E20506F772041222062
792073696D700A7165640A0A6C656D6D
61206D6561737572655F6571495F636F
756E7461626C65273A0A202061737375
6D6573207370616365733A2022737061
6365204D203D20412220227370616365
204E203D2041220A2020617373756D65
7320736574733A20225C3C416E643E78
2E2078205C3C696E3E2041205C3C4C6F
6E6772696768746172726F773E207B78
7D205C3C696E3E2073657473204D2220
225C3C416E643E782E2078205C3C696E
3E2041205C3C4C6F6E67726967687461
72726F773E207B787D205C3C696E3E20
73657473204E220A2020617373756D65
7320413A2022636F756E7461626C6520
41220A2020617373756D65732065713A
20225C3C416E643E612E2061205C3C69
6E3E2041205C3C4C6F6E677269676874
6172726F773E20656D65617375726520
4D207B617D203D20656D656173757265
204E207B617D220A202073686F777320
224D203D204E220A70726F6F66202872
756C65206D6561737572655F6571495F
636F756E7461626C65290A202073686F
77202273657473204D203D20506F7720
41220A2020202062792028696E74726F
20736574735F65715F636F756E746162
6C65206173736D73290A202073686F77
202273657473204E203D20506F772041
220A2020202062792028696E74726F20
736574735F65715F636F756E7461626C
65206173736D73290A71656420666163
742B0A0A6C656D6D6120636F756E745F
73706163655F50694D5F66696E697465
3A0A202066697865732042203A3A2022
2761205C3C52696768746172726F773E
20276220736574220A2020617373756D
6573202266696E69746520412220225C
3C416E643E692E20636F756E7461626C
65202842206929220A202073686F7773
2020202250694D204120285C3C6C616D
6264613E692E20636F756E745F737061
636520284220692929203D20636F756E
745F7370616365202850694520412042
29220A70726F6F66202872756C65206D
6561737572655F6571495F636F756E74
61626C6527290A202073686F77202273
70616365202850694D204120285C3C6C
616D6264613E692E20636F756E745F73
706163652028422069292929203D2050
694520412042220A2020202062792028
73696D70206164643A2073706163655F
50694D290A202073686F772022737061
63652028636F756E745F737061636520
28506945204120422929203D20506945
20412042222062792073696D700A6E65
78740A2020666978206620617373756D
6520663A202266205C3C696E3E205069
4520412042220A202068656E63652022
506945204120285C3C6C616D6264613E
782E207B6620787D29205C3C696E3E20
73657473202850695C3C5E7375623E4D
204120285C3C6C616D6264613E692E20
636F756E745F73706163652028422069
292929220A2020202062792028696E74
726F20736574735F50694D5F495F6669
6E697465206173736D7329206175746F
0A2020616C736F2066726F6D20662068
6176652022506945204120285C3C6C61
6D6264613E782E207B6620787D29203D
207B667D220A2020202062792028696E
74726F205069455F73696E676C65746F
6E2920286175746F2073696D703A2050
69455F646566290A202066696E616C6C
792073686F7720227B667D205C3C696E
3E2073657473202850695C3C5E737562
3E4D204120285C3C6C616D6264613E69
2E20636F756E745F7370616365202842
206929292922202E0A6E6578740A2020
696E746572707265742070726F647563
745F7369676D615F66696E6974652022
285C3C6C616D6264613E692E20636F75
6E745F73706163652028422069292922
0A2020202062792028696E74726F2070
726F647563745F7369676D615F66696E
6974652E696E74726F207369676D615F
66696E6974655F6D6561737572655F63
6F756E745F73706163655F636F756E74
61626C65206173736D73290A20207468
6D207369676D615F66696E6974655F6D
6561737572655F636F756E745F737061
63650A2020666978206620617373756D
6520663A202266205C3C696E3E205069
4520412042220A202068656E63652022
7B667D203D20506945204120285C3C6C
616D6264613E782E207B6620787D2922
0A2020202062792028696E74726F2050
69455F73696E676C65746F6E205B7379
6D6D65747269635D2920286175746F20
73696D703A205069455F646566290A20
20616C736F20686176652022656D6561
73757265202850695C3C5E7375623E4D
204120285C3C6C616D6264613E692E20
636F756E745F73706163652028422069
292929205C3C646F74733E203D0A2020
20202020202020202020202020285C3C
50726F643E695C3C696E3E412E20656D
6561737572652028636F756E745F7370
61636520284220692929207B6620697D
29220A202020207573696E6720662061
73736D73206279202873756273742065
6D6561737572655F50694D2920617574
6F0A2020616C736F206861766520225C
3C646F74733E203D20285C3C50726F64
3E695C3C696E3E412E203129220A2020
202062792028696E74726F2070726F64
2E636F6E67207265666C2C2073756273
7420656D6561737572655F636F756E74
5F73706163655F66696E697465292028
757365206620696E206175746F290A20
20616C736F206861766520225C3C646F
74733E203D20656D6561737572652028
636F756E745F73706163652028506945
204120422929207B667D220A20202020
7573696E672066206279202873756273
7420656D6561737572655F636F756E74
5F73706163655F66696E697465292061
75746F0A202066696E616C6C79207368
6F772022656D65617375726520285069
5C3C5E7375623E4D204120285C3C6C61
6D6264613E692E20636F756E745F7370
6163652028422069292929207B667D20
3D0A2020202020202020202020202020
20202020656D6561737572652028636F
756E745F7370616365202850695C3C5E
7375623E45204120422929207B667D22
202E0A716564202873696D705F616C6C
206164643A20636F756E7461626C655F
506945206173736D73290A0A0A0A6465
66696E6974696F6E5C3C5E6D61726B65
723E5C3C6F70656E3E74616720696D70
6F7274616E745C3C636C6F73653E2061
62735F73756D6D61626C655F6F6E203A
3A0A2020202022282761205C3C526967
68746172726F773E202762203A3A207B
62616E6163682C207365636F6E645F63
6F756E7461626C655F746F706F6C6F67
797D29205C3C52696768746172726F77
3E20276120736574205C3C5269676874
6172726F773E20626F6F6C220A202020
2028696E6669782022616273275F7375
6D6D61626C65275F6F6E22203530290A
2077686572650A202020226620616273
5F73756D6D61626C655F6F6E2041205C
3C6C6F6E676C65667472696768746172
726F773E20696E7465677261626C6520
28636F756E745F737061636520412920
66220A0A0A646566696E6974696F6E5C
3C5E6D61726B65723E5C3C6F70656E3E
74616720696D706F7274616E745C3C63
6C6F73653E20696E6673657473756D20
3A3A0A2020202022282761205C3C5269
6768746172726F773E202762203A3A20
7B62616E6163682C207365636F6E645F
636F756E7461626C655F746F706F6C6F
67797D29205C3C52696768746172726F
773E20276120736574205C3C52696768
746172726F773E202762220A20776865
72650A20202022696E6673657473756D
20662041203D206C656265736775655F
696E74656772616C2028636F756E745F
73706163652041292066220A0A73796E
74617820284153434949290A2020225F
696E6673657473756D22203A3A202270
7474726E205C3C52696768746172726F
773E20276120736574205C3C52696768
746172726F773E202762205C3C526967
68746172726F773E2027623A3A7B6261
6E6163682C207365636F6E645F636F75
6E7461626C655F746F706F6C6F67797D
220A202028222833494E465345545355
4D205F3A5F2E2F205F2922205B302C20
35312C2031305D203130290A73796E74
61780A2020225F696E6673657473756D
22203A3A2022707474726E205C3C5269
6768746172726F773E20276120736574
205C3C52696768746172726F773E2027
62205C3C52696768746172726F773E20
27623A3A7B62616E6163682C20736563
6F6E645F636F756E7461626C655F746F
706F6C6F67797D220A2020282228325C
3C53756D3E5C3C5E7375623E615F5C3C
696E3E5F2E2F205F2922205B302C2035
312C2031305D203130290A7472616E73
6C6174696F6E73205C3C636F6D6D656E
743E205C3C6F70656E3E426577617265
206F6620617267756D656E7420706572
6D75746174696F6E215C3C636C6F7365
3E0A2020225C3C53756D3E5C3C5E7375
623E61695C3C696E3E412E206222205C
3C72696768746C656674686172706F6F
6E733E2022434F4E535420696E667365
7473756D20285C3C6C616D6264613E69
2E2062292041220A0A73796E74617820
...

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