products/sources/formale Sprachen/Coq/test-suite/bugs/opened image not shown  


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Pocklington.thy   Sprache: Unknown

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
282A20205469746C653A202020202020
484F4C2F4E756D6265725F5468656F72
792F506F636B6C696E67746F6E2E7468
790A20202020417574686F723A202020
2020416D696E65204368616965622C20
4D616E75656C20456265726C0A2A290A
0A73656374696F6E205C3C6F70656E3E
506F636B6C696E67746F6E2773205468
656F72656D20666F72205072696D6573
5C3C636C6F73653E0A0A7468656F7279
20506F636B6C696E67746F6E0A696D70
6F7274732052657369647565730A6265
67696E0A0A73756273656374696F6E20
5C3C6F70656E3E4C656D6D6173206162
6F75742070726576696F75736C792064
6566696E6564207465726D735C3C636C
6F73653E0A0A6C656D6D61207072696D
655F6E61745F69666627273A20227072
696D652028703A3A6E617429205C3C6C
6F6E676C65667472696768746172726F
773E2070205C3C6E6F7465713E203020
5C3C616E643E2070205C3C6E6F746571
3E2031205C3C616E643E20285C3C666F
72616C6C3E6D2E2030203C206D205C3C
616E643E206D203C2070205C3C6C6F6E
6772696768746172726F773E20636F70
72696D652070206D29220A2020617070
6C7920286175746F2073696D70206164
643A207072696D655F6E61745F696666
290A2020206170706C79202872756C65
20636F7072696D6549290A2020206170
706C7920286175746F20646573743A20
6E61745F6476645F6E6F745F6C657373
2073696D70206164643A2061635F7369
6D7073290A20206170706C7920286D65
746973204F6E655F6E61745F64656620
6476645F315F6966665F31206476645F
706F735F6E6174206763645F6E61742E
6F726465725F6966662069735F756E69
745F676364206C696E6F726465725F6E
6571455F6E6174206E61745F6476645F
6E6F745F6C657373290A2020646F6E65
0A0A6C656D6D612066696E6974655F6E
756D6265725F7365676D656E743A2022
63617264207B206D2E2030203C206D20
5C3C616E643E206D203C206E207D203D
206E202D2031220A70726F6F66202D0A
20206861766520227B206D2E2030203C
206D205C3C616E643E206D203C206E20
7D203D207B312E2E3C6E7D2220627920
6175746F0A20207468656E2073686F77
203F7468657369732062792073696D70
0A7165640A0A0A73756273656374696F
6E205C3C6F70656E3E536F6D65206261
736963207468656F72656D732061626F
757420736F6C76696E6720636F6E6772
75656E6365735C3C636C6F73653E0A0A
6C656D6D6120636F6E675F736F6C7665
3A0A20206669786573206E203A3A206E
61740A2020617373756D657320616E3A
2022636F7072696D652061206E220A20
2073686F777320225C3C657869737473
3E782E205B61202A2078203D20625D20
286D6F64206E29220A70726F6F662028
6361736573202261203D203022290A20
206361736520547275650A2020776974
6820616E2073686F77203F7468657369
730A202020206279202873696D702061
64643A20636F6E675F646566290A6E65
78740A2020636173652046616C73650A
202066726F6D2062657A6F75745F6164
645F7374726F6E675F6E6174205B4F46
20746869735D0A20206F627461696E20
6420782079207768657265206478793A
20226420647664206122202264206476
64206E22202261202A2078203D206E20
2A2079202B20642220627920626C6173
740A202066726F6D2064787928312C32
2920686176652064313A202264203D20
31220A202020207573696E6720617373
6D7320636F7072696D655F636F6D6D6F
6E5F64697669736F72205B6F66206120
6E20645D2062792073696D700A202077
69746820647879283329206861766520
2261202A2078202A2062203D20286E20
2A2079202B203129202A2062220A2020
202062792073696D700A20207468656E
2068617665202261202A202878202A20
6229203D206E202A202879202A206229
202B2062220A20202020627920286175
746F2073696D703A20616C6765627261
5F73696D7073290A20207468656E2068
617665202261202A202878202A206229
206D6F64206E203D20286E202A202879
202A206229202B206229206D6F64206E
220A2020202062792073696D700A2020
7468656E2068617665202261202A2028
78202A206229206D6F64206E203D2062
206D6F64206E220A2020202062792028
73696D70206164643A206D6F645F6164
645F6C6566745F6571290A2020746865
6E206861766520225B61202A20287820
2A206229203D20625D20286D6F64206E
29220A202020206279202873696D7020
6F6E6C793A20636F6E675F646566290A
20207468656E2073686F77203F746865
73697320627920626C6173740A716564
0A0A6C656D6D6120636F6E675F736F6C
76655F756E697175653A0A2020666978
6573206E203A3A206E61740A20206173
73756D657320616E3A2022636F707269
6D652061206E2220616E64206E7A3A20
226E205C3C6E6F7465713E2030220A20
2073686F777320225C3C657869737473
3E21782E2078203C206E205C3C616E64
3E205B61202A2078203D20625D20286D
6F64206E29220A70726F6F66202D0A20
2066726F6D20636F6E675F736F6C7665
5B4F4620616E5D206F627461696E2078
20776865726520783A20225B61202A20
78203D20625D20286D6F64206E29220A
20202020627920626C6173740A20206C
6574203F50203D20225C3C6C616D6264
613E782E2078203C206E205C3C616E64
3E205B61202A2078203D20625D20286D
6F64206E29220A20206C6574203F7820
3D202278206D6F64206E220A20206672
6F6D20782068617665202A3A20225B61
202A203F78203D20625D20286D6F6420
6E29220A202020206279202873696D70
206164643A20636F6E675F646566206D
6F645F6D756C745F72696768745F6571
5B6F6620612078206E5D290A20206672
6F6D206D6F645F6C6573735F64697669
736F725B206F66206E20785D206E7A20
2A20686176652050783A20223F50203F
78222062792073696D700A2020686176
65202279203D203F7822206966205079
3A202279203C206E2220225B61202A20
79203D20625D20286D6F64206E292220
666F7220790A202070726F6F66202D0A
2020202066726F6D205079283229202A
206861766520225B61202A2079203D20
61202A203F785D20286D6F64206E2922
0A2020202020206279202873696D7020
6164643A20636F6E675F646566290A20
2020207468656E206861766520225B79
203D203F785D20286D6F64206E29220A
202020202020627920286D6574697320
616E20636F6E675F6D756C745F6C6361
6E63656C5F6E6174290A202020207769
7468206D6F645F6C6573735B4F462050
792831295D206D6F645F6C6573735F64
697669736F725B206F66206E20785D20
6E7A0A2020202073686F77203F746865
7369730A202020202020627920287369
6D70206164643A20636F6E675F646566
290A20207165640A2020776974682050
782073686F77203F7468657369732062
7920626C6173740A7165640A0A6C656D
6D6120636F6E675F736F6C76655F756E
697175655F6E6F6E7472697669616C3A
0A202066697865732070203A3A206E61
740A2020617373756D657320703A2022
7072696D652070220A20202020616E64
2070613A2022636F7072696D65207020
61220A20202020616E642078303A2022
30203C2078220A20202020616E642078
703A202278203C2070220A202073686F
777320225C3C6578697374733E21792E
2030203C2079205C3C616E643E207920
3C2070205C3C616E643E205B78202A20
79203D20615D20286D6F64207029220A
70726F6F66202D0A202066726F6D2070
6120686176652061703A2022636F7072
696D6520612070220A20202020627920
2873696D70206164643A2061635F7369
6D7073290A202066726F6D2078302078
70207020686176652070783A2022636F
7072696D6520782070220A2020202062
7920286175746F2073696D7020616464
3A207072696D655F6E61745F69666627
272061635F73696D7073290A20206F62
7461696E207920776865726520793A20
2279203C20702220225B78202A207920
3D20615D20286D6F642070292220225C
3C666F72616C6C3E7A2E207A203C2070
205C3C616E643E205B78202A207A203D
20615D20286D6F64207029205C3C6C6F
6E6772696768746172726F773E207A20
3D2079220A20202020627920286D6574
697320636F6E675F736F6C76655F756E
69717565206E6571305F636F6E762070
207072696D655F67745F305F6E617420
7078290A202068617665202279205C3C
6E6F7465713E2030220A202070726F6F
660A20202020617373756D6520227920
3D2030220A2020202077697468207928
32292068617665202270206476642061
220A2020202020207573696E6720636F
6E675F6476645F696666206279206175
746F0A2020202077697468206E6F745F
7072696D655F3120702070612073686F
772046616C73650A2020202020206279
20286175746F2073696D70206164643A
206763645F6E61742E6F726465725F69
6666290A20207165640A202077697468
20792073686F77203F7468657369730A
20202020627920626C6173740A716564
0A0A6C656D6D6120636F6E675F756E69
7175655F696E76657273655F7072696D
653A0A202066697865732070203A3A20
6E61740A2020617373756D6573202270
72696D6520702220616E64202230203C
20782220616E64202278203C2070220A
202073686F777320225C3C6578697374
733E21792E2030203C2079205C3C616E
643E2079203C2070205C3C616E643E20
5B78202A2079203D20315D20286D6F64
207029220A20206279202872756C6520
636F6E675F736F6C76655F756E697175
655F6E6F6E7472697669616C29202875
7365206173736D7320696E2073696D70
5F616C6C290A0A6C656D6D6120636869
6E6573655F72656D61696E6465725F63
6F7072696D655F756E697175653A0A20
2066697865732061203A3A206E61740A
2020617373756D65732061623A202263
6F7072696D65206120622220616E6420
617A3A202261205C3C6E6F7465713E20
302220616E6420627A3A202262205C3C
6E6F7465713E2030220A20202020616E
64206D613A2022636F7072696D65206D
20612220616E64206E623A2022636F70
72696D65206E2062220A202073686F77
7320225C3C6578697374733E21782E20
636F7072696D652078202861202A2062
29205C3C616E643E2078203C2061202A
2062205C3C616E643E205B78203D206D
5D20286D6F64206129205C3C616E643E
205B78203D206E5D20286D6F64206229
220A70726F6F66202D0A20206C657420
3F50203D20225C3C6C616D6264613E78
2E2078203C2061202A2062205C3C616E
643E205B78203D206D5D20286D6F6420
6129205C3C616E643E205B78203D206E
5D20286D6F64206229220A202066726F
6D2062696E6172795F6368696E657365
5F72656D61696E6465725F756E697175
655F6E61745B4F4620616220617A2062
7A5D0A20206F627461696E2078207768
65726520783A202278203C2061202A20
622220225B78203D206D5D20286D6F64
2061292220225B78203D206E5D20286D
6F642062292220225C3C666F72616C6C
3E792E203F502079205C3C6C6F6E6772
...

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