|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
BVSpec.thy
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F4D6963726F4A6176612F4256
2F4256537065632E7468790A20202020
417574686F723A2020202020436F726E
656C69612050757363682C2047657277
696E204B6C65696E0A20202020436F70
79726967687420202031393939205465
63686E697363686520556E6976657273
6974616574204D75656E6368656E0A2A
290A0A73656374696F6E205C3C6F7065
6E3E5468652042797465636F64652056
65726966696572205C6C6162656C7B73
65633A4256537065637D5C3C636C6F73
653E0A0A7468656F7279204256537065
630A696D706F72747320456666656374
0A626567696E0A0A74657874205C3C6F
70656E3E0A202054686973207468656F
727920636F6E7461696E732061207370
6563696669636174696F6E206F662074
68652042562E20546865207370656369
6669636174696F6E0A20206465736372
6962657320636F727265637420747970
696E6773206F66206D6574686F642062
6F646965733B20697420636F72726573
706F6E6473200A2020746F2074797065
205C656D70687B636865636B696E677D
2E0A5C3C636C6F73653E0A0A64656669
6E6974696F6E0A20205C3C636F6D6D65
6E743E205C3C6F70656E3E5468652070
726F6772616D20636F756E7465722077
696C6C20616C7761797320626520696E
7369646520746865206D6574686F643A
5C3C636C6F73653E0A2020636865636B
5F626F756E646564203A3A2022696E73
7472206C697374205C3C526967687461
72726F773E20657863657074696F6E5F
7461626C65205C3C5269676874617272
6F773E20626F6F6C222077686572650A
202022636865636B5F626F756E646564
20696E73206574205C3C6C6F6E676C65
667472696768746172726F773E0A2020
285C3C666F72616C6C3E7063203C206C
656E67746820696E732E205C3C666F72
616C6C3E706327205C3C696E3E207365
74202873756363732028696E73217063
29207063292E20706327203C206C656E
67746820696E7329205C3C616E643E0A
20202020202020202020202020202020
2020202020285C3C666F72616C6C3E65
205C3C696E3E207365742065742E2066
73742028736E642028736E6420652929
203C206C656E67746820696E7329220A
0A646566696E6974696F6E0A20205C3C
636F6D6D656E743E205C3C6F70656E3E
546865206D6574686F64207479706520
6F6E6C7920636F6E7461696E73206465
636C6172656420636C61737365733A5C
3C636C6F73653E0A2020636865636B5F
7479706573203A3A20226A766D5F7072
6F67205C3C52696768746172726F773E
206E6174205C3C52696768746172726F
773E206E6174205C3C52696768746172
726F773E204A564D547970652E737461
7465206C697374205C3C526967687461
72726F773E20626F6F6C222077686572
650A202022636865636B5F7479706573
2047206D7873206D787220706869205C
3C6C6F6E676C65667472696768746172
726F773E2073657420706869205C3C73
756273657465713E2073746174657320
47206D7873206D7872220A0A64656669
6E6974696F6E0A20205C3C636F6D6D65
6E743E205C3C6F70656E3E416E20696E
737472756374696F6E2069732077656C
6C747970656420696620697420697320
6170706C696361626C6520616E642069
7473206566666563745C3C636C6F7365
3E0A20205C3C636F6D6D656E743E205C
3C6F70656E3E697320636F6D70617469
626C6520776974682074686520747970
6520617420616C6C2073756363657373
6F7220696E737472756374696F6E733A
5C3C636C6F73653E0A202077745F696E
737472203A3A20225B696E7374722C6A
766D5F70726F672C74792C6D6574686F
645F747970652C6E61742C705F636F75
6E742C0A202020202020202020202020
20202020657863657074696F6E5F7461
626C652C705F636F756E745D205C3C52
696768746172726F773E20626F6F6C22
2077686572650A20202277745F696E73
74722069204720725420706869206D78
73206D61785F7063206574207063205C
3C6C6F6E676C65667472696768746172
726F773E0A202061707020692047206D
78732072542070632065742028706869
21706329205C3C616E643E0A2020285C
3C666F72616C6C3E287063272C732729
205C3C696E3E20736574202865666620
69204720706320657420287068692170
6329292E20706327203C206D61785F70
63205C3C616E643E2047205C3C747572
6E7374696C653E207327203C3D272070
68692170632729220A0A646566696E69
74696F6E0A20205C3C636F6D6D656E74
3E205C3C6F70656E3E54686520747970
65206174205C3C6F70656E3E70633D30
5C3C636C6F73653E20636F6E666F726D
7320746F20746865206D6574686F6420
63616C6C696E6720636F6E76656E7469
6F6E3A5C3C636C6F73653E0A20207774
5F7374617274203A3A20225B6A766D5F
70726F672C636E616D652C7479206C69
73742C6E61742C6D6574686F645F7479
70655D205C3C52696768746172726F77
3E20626F6F6C222077686572650A2020
2277745F737461727420472043207054
73206D786C20706869205C3C6C6F6E67
6C65667472696768746172726F773E0A
202047205C3C7475726E7374696C653E
20536F6D6520285B5D2C284F4B202843
6C617373204329292328286D6170204F
4B20705473292940287265706C696361
7465206D786C204572722929203C3D27
207068692130220A0A646566696E6974
696F6E0A20205C3C636F6D6D656E743E
205C3C6F70656E3E41206D6574686F64
2069732077656C6C7479706564206966
2074686520626F6479206973206E6F74
20656D7074792C206966206578656375
74696F6E20646F6573206E6F745C3C63
6C6F73653E0A20205C3C636F6D6D656E
743E205C3C6F70656E3E6C6561766520
74686520626F64792C20696620746865
206D6574686F64207479706520636F76
65727320616C6C20696E737472756374
696F6E7320616E64206D656E74696F6E
735C3C636C6F73653E0A20205C3C636F
6D6D656E743E205C3C6F70656E3E6465
636C6172656420636C6173736573206F
6E6C792C20696620746865206D657468
6F642063616C6C696E6720636F6E7665
6E74696F6E2069732072657370656374
65642C20616E645C3C636C6F73653E0A
20205C3C636F6D6D656E743E205C3C6F
70656E3E696620616C6C20696E737472
756374696F6E73206172652077656C6C
74797065642E5C3C636C6F73653E0A20
2077745F6D6574686F64203A3A20225B
6A766D5F70726F672C636E616D652C74
79206C6973742C74792C6E61742C6E61
742C696E737472206C6973742C0A2020
20202020202020202020202020202065
7863657074696F6E5F7461626C652C6D
6574686F645F747970655D205C3C5269
6768746172726F773E20626F6F6C2220
77686572650A20202277745F6D657468
6F642047204320705473207254206D78
73206D786C20696E7320657420706869
205C3C6C6F6E676C6566747269676874
6172726F773E0A2020286C6574206D61
785F7063203D206C656E67746820696E
7320696E0A202030203C206D61785F70
63205C3C616E643E200A20206C656E67
746820706869203D206C656E67746820
696E73205C3C616E643E0A2020636865
636B5F626F756E64656420696E732065
74205C3C616E643E200A202063686563
6B5F74797065732047206D7873202831
2B6C656E677468207054732B6D786C29
20286D6170204F4B2070686929205C3C
616E643E0A202077745F737461727420
47204320705473206D786C2070686920
5C3C616E643E0A2020285C3C666F7261
6C6C3E70632E2070633C6D61785F7063
205C3C6C6F6E6772696768746172726F
773E2077745F696E7374722028696E73
21706329204720725420706869206D78
73206D61785F70632065742070632929
220A0A646566696E6974696F6E0A2020
5C3C636F6D6D656E743E205C3C6F7065
6E3E412070726F6772616D2069732077
656C6C74797065642069662069742069
732077656C6C666F726D656420616E64
20616C6C206D6574686F647320617265
2077656C6C74797065645C3C636C6F73
653E0A202077745F6A766D5F70726F67
203A3A20225B6A766D5F70726F672C70
726F675F747970655D205C3C52696768
746172726F773E20626F6F6C22207768
6572650A20202277745F6A766D5F7072
6F67204720706869205C3C6C6F6E676C
65667472696768746172726F773E0A20
2077665F70726F6720285C3C6C616D62
64613E47204320287369672C72542C28
6D6178732C6D61786C2C622C65742929
2E0A202020202020202020202077745F
6D6574686F64204720432028736E6420
73696729207254206D617873206D6178
6C206220657420287068692043207369
6729292047220A0A0A6C656D6D612063
6865636B5F626F756E646564443A0A20
20225C3C6C6272616B6B3E2063686563
6B5F626F756E64656420696E73206574
3B207063203C206C656E67746820696E
733B200A20202020287063272C732729
205C3C696E3E20736574202865666620
28696E73217063292047207063206574
20732920205C3C726272616B6B3E205C
3C4C6F6E6772696768746172726F773E
200A2020706327203C206C656E677468
20696E73220A20206170706C79202875
6E666F6C64206566665F646566290A20
206170706C792073696D700A20206170
706C792028756E666F6C642063686563
6B5F626F756E6465645F646566290A20
206170706C7920636C61726966790A20
206170706C7920286572756C65206469
736A45290A2020206170706C7920626C
6173740A20206170706C792028657275
6C6520616C6C452C206572756C652069
6D70452C20617373756D7074696F6E29
0A20206170706C792028756E666F6C64
20786370745F6566665F646566290A20
206170706C7920636C617273696D7020
2020200A20206170706C792028647275
6C6520786370745F6E616D65735F696E
5F6574290A20206170706C7920636C61
726966790A20206170706C7920286472
756C652062737065632C20617373756D
7074696F6E290A20206170706C792073
696D700A2020646F6E650A0A6C656D6D
612077745F6A766D5F70726F67443A0A
20202277745F6A766D5F70726F672047
20706869205C3C4C6F6E677269676874
6172726F773E20285C3C657869737473
3E77742E2077665F70726F6720777420
4729220A202062792028756E666F6C64
2077745F6A766D5F70726F675F646566
2C20626C617374290A0A6C656D6D6120
77745F6A766D5F70726F675F696D706C
5F77745F696E7374723A0A2020225C3C
6C6272616B6B3E2077745F6A766D5F70
726F672047207068693B2069735F636C
617373204720433B0A2020202020206D
6574686F642028472C43292073696720
3D20536F6D652028432C72542C6D6178
732C6D61786C2C696E732C6574293B20
7063203C206C656E67746820696E7320
5C3C726272616B6B3E200A20205C3C4C
6F6E6772696768746172726F773E2077
745F696E7374722028696E7321706329
20472072542028706869204320736967
29206D61787320286C656E6774682069
6E7329206574207063220A2020627920
28756E666F6C642077745F6A766D5F70
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
