|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Vitali_Covering_Theorem.thy
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F416E616C797369732F566974
616C695F436F766572696E675F546865
6F72656D2E7468790A20202020417574
686F72733A202020204C43205061756C
736F6E2C206261736564206F6E206D61
74657269616C2066726F6D20484F4C20
4C696768740A2A290A0A73656374696F
6E20205C3C6F70656E3E566974616C69
20436F766572696E67205468656F7265
6D20616E6420616E204170706C696361
74696F6E20746F204E65676C69676962
696C6974795C3C636C6F73653E0A0A74
68656F727920566974616C695F436F76
6572696E675F5468656F72656D0A2020
696D706F727473204571756976616C65
6E63655F4C656265736775655F48656E
73746F636B5F496E746567726174696F
6E2022484F4C2D4C6962726172792E50
65726D75746174696F6E73220A0A6265
67696E0A0A6C656D6D61207374726574
63685F47616C6F69733A0A2020666978
65732078203A3A20227265616C5E276E
220A202073686F77732022285C3C416E
643E6B2E206D206B205C3C6E6F746571
3E203029205C3C4C6F6E677269676874
6172726F773E20282879203D20285C3C
6368693E206B2E206D206B202A207824
6B2929205C3C6C6F6E676C6566747269
6768746172726F773E20285C3C636869
3E206B2E2079246B202F206D206B2920
3D207829220A20206279206175746F0A
0A6C656D6D61206C616D6264615F7377
61705F47616C6F69733A0A2020202228
78203D20285C3C6368693E20692E2079
20242046756E2E73776170206D206E20
6964206929205C3C6C6F6E676C656674
72696768746172726F773E20285C3C63
68693E20692E207820242046756E2E73
776170206D206E206964206929203D20
7929220A2020627920286175746F3B20
73696D70206164643A20706F696E7466
7265655F696445207665635F65715F69
6666290A0A6C656D6D61206C616D6264
615F6164645F47616C6F69733A0A2020
66697865732078203A3A20227265616C
5E276E220A202073686F777320226D20
5C3C6E6F7465713E206E205C3C4C6F6E
6772696768746172726F773E20287820
3D20285C3C6368693E20692E20696620
69203D206D207468656E2079246D202B
2079246E20656C73652079246929205C
3C6C6F6E676C65667472696768746172
726F773E20285C3C6368693E20692E20
69662069203D206D207468656E207824
6D202D2078246E20656C736520782469
29203D207929220A2020627920287361
66653B2073696D70206164643A207665
635F65715F696666290A0A0A6C656D6D
6120566974616C695F636F766572696E
675F6C656D6D615F6362616C6C735F62
616C6C733A0A20206669786573206120
3A3A20222761205C3C52696768746172
726F773E2027623A3A6575636C696465
616E5F7370616365220A202061737375
6D657320225C3C416E643E692E206920
5C3C696E3E204B205C3C4C6F6E677269
6768746172726F773E2030203C207220
69205C3C616E643E20722069205C3C6C
653E2042220A20206F627461696E7320
432077686572652022636F756E746162
6C65204322202243205C3C7375627365
7465713E204B220A2020202020227061
69727769736520285C3C6C616D626461
3E69206A2E206469736A6E7420286362
616C6C20286120692920287220692929
20286362616C6C202861206A29202872
206A2929292043220A2020202020225C
3C416E643E692E2069205C3C696E3E20
4B205C3C4C6F6E677269676874617272
6F773E205C3C6578697374733E6A2E20
6A205C3C696E3E2043205C3C616E643E
0A202020202020202020202020202020
2020202020202020205C3C6E6F743E20
6469736A6E7420286362616C6C202861
2069292028722069292920286362616C
6C202861206A29202872206A2929205C
3C616E643E0A20202020202020202020
20202020202020202020202020206362
616C6C20286120692920287220692920
5C3C73756273657465713E2062616C6C
202861206A29202835202A2072206A29
220A70726F6F66202863617365732022
4B203D207B7D22290A20206361736520
547275650A2020776974682074686174
2073686F77203F7468657369730A2020
20206279206175746F0A6E6578740A20
20636173652046616C73650A20207468
656E2068617665202242203E2030220A
202020207573696E67206173736D7320
6C6573735F6C655F7472616E73206279
206175746F0A20206861766520726774
305B73696D705D3A20225C3C416E643E
692E2069205C3C696E3E204B205C3C4C
6F6E6772696768746172726F773E2030
203C20722069220A202020207573696E
67206173736D73206279206175746F0A
20206C6574203F646A6E74203D202270
6169727769736520285C3C6C616D6264
613E69206A2E206469736A6E74202863
62616C6C202861206929202872206929
2920286362616C6C202861206A292028
72206A292929220A2020686176652022
5C3C6578697374733E432E205C3C666F
72616C6C3E6E2E202843206E205C3C73
756273657465713E204B205C3C616E64
3E0A2020202020202020202020202028
5C3C666F72616C6C3E69205C3C696E3E
2043206E2E20422F32205E206E205C3C
6C653E2072206929205C3C616E643E20
3F646A6E74202843206E29205C3C616E
643E0A20202020202020202020202020
285C3C666F72616C6C3E69205C3C696E
3E204B2E20422F32205E206E203C2072
20690A20202020202020202020202020
202020205C3C6C6F6E67726967687461
72726F773E20285C3C6578697374733E
6A2E206A205C3C696E3E2043206E205C
3C616E643E0A20202020202020202020
2020202020202020202020202020205C
3C6E6F743E206469736A6E7420286362
616C6C20286120692920287220692929
20286362616C6C202861206A29202872
206A2929205C3C616E643E0A20202020
20202020202020202020202020202020
20202020206362616C6C202861206929
202872206929205C3C73756273657465
713E2062616C6C202861206A29202835
202A2072206A29292929205C3C616E64
3E202843206E205C3C73756273657465
713E204328537563206E2929220A2020
70726F6F66202872756C652064657065
6E64656E745F6E61745F63686F696365
2C2073616665290A2020202066697820
43206E0A20202020646566696E652044
207768657265202244205C3C65717569
763E207B69205C3C696E3E204B2E2042
2F32205E20537563206E203C20722069
205C3C616E643E20285C3C666F72616C
6C3E6A5C3C696E3E432E206469736A6E
7420286362616C6C2861206929287220
69292920286362616C6C202861206A29
202872206A2929297D220A202020206C
6574203F636F7665725F6172203D2022
5C3C6C616D6264613E69206A2E205C3C
6E6F743E206469736A6E742028636261
6C6C2028612069292028722069292920
286362616C6C202861206A2920287220
6A2929205C3C616E643E0A2020202020
20202020202020202020202020202020
20202020202020206362616C6C202861
206929202872206929205C3C73756273
657465713E2062616C6C202861206A29
202835202A2072206A29220A20202020
617373756D65202243205C3C73756273
657465713E204B220A20202020202061
6E6420426C653A20225C3C666F72616C
6C3E695C3C696E3E432E20422F32205E
206E205C3C6C653E20722069220A2020
20202020616E6420646A6E74433A2022
3F646A6E742043220A20202020202061
6E6420636F765F6E3A20225C3C666F72
616C6C3E695C3C696E3E4B2E20422F32
205E206E203C20722069205C3C6C6F6E
6772696768746172726F773E20285C3C
6578697374733E6A2E206A205C3C696E
3E2043205C3C616E643E203F636F7665
725F61722069206A29220A2020202068
617665202A3A20225C3C666F72616C6C
3E435C3C696E3E636861696E73207B43
2E2043205C3C73756273657465713E20
44205C3C616E643E203F646A6E742043
7D2E205C3C556E696F6E3E43205C3C69
6E3E207B432E2043205C3C7375627365
7465713E2044205C3C616E643E203F64
6A6E7420437D220A2020202070726F6F
662028636C617273696D702073696D70
3A20636861696E735F646566290A2020
2020202066697820430A202020202020
617373756D6520433A202243205C3C73
756273657465713E207B432E2043205C
3C73756273657465713E2044205C3C61
6E643E203F646A6E7420437D2220616E
642022636861696E5C3C5E7375623E5C
3C73756273657465713E2043220A2020
2020202073686F7720225C3C556E696F
6E3E43205C3C73756273657465713E20
44205C3C616E643E203F646A6E742028
5C3C556E696F6E3E4329220A20202020
20202020756E666F6C64696E67207061
6972776973655F6465660A2020202020
2070726F6F662028696E74726F206261
6C6C4920636F6E6A4920696D7049290A
202020202020202073686F7720225C3C
556E696F6E3E43205C3C737562736574
65713E2044220A202020202020202020
207573696E67204320627920626C6173
740A2020202020206E6578740A202020
2020202020666978207820790A202020
2020202020617373756D65202278205C
3C696E3E205C3C556E696F6E3E432220
616E64202279205C3C696E3E205C3C55
6E696F6E3E432220616E64202278205C
3C6E6F7465713E2079220A2020202020
2020207468656E206F627461696E2058
20592077686572652058593A20227820
5C3C696E3E205822202258205C3C696E
3E204322202279205C3C696E3E205922
202259205C3C696E3E2043220A202020
20202020202020627920626C6173740A
20202020202020207468656E20636F6E
7369646572202258205C3C7375627365
7465713E205922207C202259205C3C73
756273657465713E2058220A20202020
202020202020627920286D65736F6E20
5C3C6F70656E3E636861696E5C3C5E73
75623E5C3C73756273657465713E2043
5C3C636C6F73653E20636861696E5F73
75627365745F646566290A2020202020
2020207468656E2073686F7720226469
736A6E7420286362616C6C2028612078
292028722078292920286362616C6C20
286120792920287220792929220A2020
20202020202070726F6F662063617365
730A2020202020202020202063617365
20310A20202020202020202020776974
682043205859205C3C6F70656E3E7820
5C3C6E6F7465713E20795C3C636C6F73
653E2073686F77203F7468657369730A
202020202020202020202020756E666F
6C64696E672070616972776973655F64
656620627920626C6173740A20202020
202020206E6578740A20202020202020
2020206361736520320A202020202020
20202020776974682043205859205C3C
6F70656E3E78205C3C6E6F7465713E20
795C3C636C6F73653E2073686F77203F
7468657369730A202020202020202020
202020756E666F6C64696E6720706169
72776973655F64656620627920626C61
73740A20202020202020207165640A20
20202020207165640A20202020716564
0A202020206F627461696E2045207768
657265202245205C3C73756273657465
713E20442220616E6420646A6E74453A
20223F646A6E7420452220616E64206D
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
