Quelle  Lindelof_Spaces.thy   Sprache: unbekannt

73656374696F6E5C3C6F70656E3E4C69
6E64656CC3B666207370616365735C3C
636C6F73653E0A0A7468656F7279204C
696E64656C6F665F5370616365730A69
6D706F7274732054315F537061636573
0A626567696E0A0A646566696E697469
6F6E204C696E64656C6F665F73706163
652077686572650A2020224C696E6465
6C6F665F73706163652058205C3C6571
7569763E0A20202020202020205C3C66
6F72616C6C3E5C3C553E2E20285C3C66
6F72616C6C3E55205C3C696E3E205C3C
553E2E206F70656E696E205820552920
5C3C616E643E205C3C556E696F6E3E5C
3C553E203D20746F7073706163652058
0A2020202020202020202020205C3C6C
6F6E6772696768746172726F773E2028
5C3C6578697374733E5C3C563E2E2063
6F756E7461626C65205C3C563E205C3C
616E643E205C3C563E205C3C73756273
657465713E205C3C553E205C3C616E64
3E205C3C556E696F6E3E5C3C563E203D
20746F707370616365205829220A0A6C
656D6D61204C696E64656C6F665F7370
616365443A0A2020225C3C6C6272616B
6B3E4C696E64656C6F665F7370616365
20583B205C3C416E643E552E2055205C
3C696E3E205C3C553E205C3C4C6F6E67
72696768746172726F773E206F70656E
696E205820553B205C3C556E696F6E3E
5C3C553E203D20746F70737061636520
585C3C726272616B6B3E0A20205C3C4C
6F6E6772696768746172726F773E205C
3C6578697374733E5C3C563E2E20636F
756E7461626C65205C3C563E205C3C61
6E643E205C3C563E205C3C7375627365
7465713E205C3C553E205C3C616E643E
205C3C556E696F6E3E5C3C563E203D20
746F7073706163652058220A20206279
20286175746F2073696D703A204C696E
64656C6F665F73706163655F64656629
0A0A6C656D6D61204C696E64656C6F66
5F73706163655F616C743A0A20202022
4C696E64656C6F665F73706163652058
205C3C6C6F6E676C6566747269676874
6172726F773E0A202020202020202028
5C3C666F72616C6C3E5C3C553E2E2028
5C3C666F72616C6C3E55205C3C696E3E
205C3C553E2E206F70656E696E205820
5529205C3C616E643E20746F70737061
63652058205C3C73756273657465713E
205C3C556E696F6E3E5C3C553E0A2020
20202020202020202020205C3C6C6F6E
6772696768746172726F773E20285C3C
6578697374733E5C3C563E2E20636F75
6E7461626C65205C3C563E205C3C616E
643E205C3C563E205C3C737562736574
65713E205C3C553E205C3C616E643E20
746F7073706163652058205C3C737562
73657465713E205C3C556E696F6E3E5C
3C563E2929220A2020756E666F6C6469
6E67204C696E64656C6F665F73706163
655F6465660A20207573696E67206F70
656E696E5F7375627365742062792066
617374666F7263650A0A6C656D6D6120
636F6D706163745F696D705F4C696E64
656C6F665F73706163653A0A20202022
636F6D706163745F7370616365205820
5C3C4C6F6E6772696768746172726F77
3E204C696E64656C6F665F7370616365
2058220A2020756E666F6C64696E6720
4C696E64656C6F665F73706163655F64
656620636F6D706163745F7370616365
0A2020627920286D65736F6E20756E63
6F756E7461626C655F696E66696E6974
65290A0A6C656D6D61204C696E64656C
6F665F73706163655F746F7073706163
655F656D7074793A0A20202022746F70
73706163652058203D207B7D205C3C4C
6F6E6772696768746172726F773E204C
696E64656C6F665F7370616365205822
0A20207573696E6720636F6D70616374
5F696D705F4C696E64656C6F665F7370
61636520636F6D706163745F73706163
655F7472697669616C5F746F706F6C6F
677920627920666F7263650A0A6C656D
6D61204C696E64656C6F665F73706163
655F556E696F6E3A0A2020617373756D
6573205C3C553E3A2022636F756E7461
626C65205C3C553E2220616E64206C69
6E3A20225C3C416E643E552E2055205C
3C696E3E205C3C553E205C3C4C6F6E67
72696768746172726F773E204C696E64
656C6F665F7370616365202873756274
6F706F6C6F67792058205529220A2020
73686F777320224C696E64656C6F665F
73706163652028737562746F706F6C6F
6779205820285C3C556E696F6E3E5C3C
553E2929220A70726F6F66202D0A2020
6861766520225C3C6578697374733E5C
3C563E2E20636F756E7461626C65205C
3C563E205C3C616E643E205C3C563E20
5C3C73756273657465713E205C3C463E
205C3C616E643E205C3C556E696F6E3E
5C3C553E205C3C696E7465723E205C3C
556E696F6E3E5C3C563E203D20746F70
73706163652058205C3C696E7465723E
205C3C556E696F6E3E5C3C553E220A20
2020206966205C3C463E3A20225C3C46
3E205C3C73756273657465713E20436F
6C6C65637420286F70656E696E205829
2220616E642055463A20225C3C556E69
6F6E3E5C3C553E205C3C696E7465723E
205C3C556E696F6E3E5C3C463E203D20
746F7073706163652058205C3C696E74
65723E205C3C556E696F6E3E5C3C553E
220A20202020666F72205C3C463E0A20
2070726F6F66202D0A20202020686176
6520225C3C416E643E552E205C3C6C62
72616B6B3E55205C3C696E3E205C3C55
3E3B2055205C3C696E7465723E205C3C
556E696F6E3E5C3C463E203D20746F70
73706163652058205C3C696E7465723E
20555C3C726272616B6B3E0A20202020
20202020202020202020205C3C4C6F6E
6772696768746172726F773E205C3C65
78697374733E5C3C563E2E20636F756E
7461626C65205C3C563E205C3C616E64
3E205C3C563E205C3C73756273657465
713E205C3C463E205C3C616E643E2055
205C3C696E7465723E205C3C556E696F
6E3E5C3C563E203D20746F7073706163
652058205C3C696E7465723E2055220A
2020202020207573696E67206C696E20
5C3C463E0A202020202020756E666F6C
64696E67204C696E64656C6F665F7370
6163655F646566206F70656E696E5F73
7562746F706F6C6F67795F616C742042
616C6C5F646566207375627365745F69
6666205B73796D6D65747269635D0A20
20202020206279202873696D70206164
643A20616C6C5F7375627365745F696D
61676520696D705F636F6E6A4C206578
5F636F756E7461626C655F7375627365
745F696D616765290A20202020746865
6E206F627461696E2067207768657265
20673A20225C3C416E643E552E205C3C
6C6272616B6B3E55205C3C696E3E205C
3C553E3B2055205C3C696E7465723E20
5C3C556E696F6E3E5C3C463E203D2074
6F7073706163652058205C3C696E7465
723E20555C3C726272616B6B3E0A2020
20202020202020202020202020202020
202020202020202020202020205C3C4C
6F6E6772696768746172726F773E2063
6F756E7461626C65202867205529205C
3C616E643E202867205529205C3C7375
6273657465713E205C3C463E205C3C61
6E643E2055205C3C696E7465723E205C
3C556E696F6E3E2867205529203D2074
6F7073706163652058205C3C696E7465
723E2055220A2020202020206279206D
657469730A2020202073686F77203F74
68657369730A2020202070726F6F6620
28696E74726F2065784920636F6E6A49
290A20202020202073686F772022636F
756E7461626C6520285C3C556E696F6E
3E28672060205C3C553E2929220A2020
2020202020207573696E6720496E745F
636F6D6D757465205546206720206279
202866617374666F72636520696E7472
6F3A20636F756E7461626C655F554E20
5B4F46205C3C553E5D290A2020202020
2073686F7720225C3C556E696F6E3E28
672060205C3C553E29205C3C73756273
657465713E205C3C463E220A20202020
202020207573696E6720672055462062
7920626C6173740A2020202020207368
6F7720225C3C556E696F6E3E5C3C553E
205C3C696E7465723E205C3C556E696F
6E3E285C3C556E696F6E3E2867206020
5C3C553E2929203D20746F7073706163
652058205C3C696E7465723E205C3C55
6E696F6E3E5C3C553E220A2020202020
2070726F6F660A202020202020202073
686F7720225C3C556E696F6E3E5C3C55
3E205C3C696E7465723E205C3C556E69
6F6E3E285C3C556E696F6E3E28672060
205C3C553E2929205C3C737562736574
65713E20746F7073706163652058205C
3C696E7465723E205C3C556E696F6E3E
5C3C553E220A20202020202020202020
7573696E67206720554620627920626C
6173740A202020202020202073686F77
2022746F7073706163652058205C3C69
6E7465723E205C3C556E696F6E3E5C3C
553E205C3C73756273657465713E205C
3C556E696F6E3E5C3C553E205C3C696E
7465723E205C3C556E696F6E3E285C3C
556E696F6E3E28672060205C3C553E29
29220A202020202020202070726F6F66
20636C617273696D700A202020202020
2020202073686F7720225C3C65786973
74733E795C3C696E3E5C3C553E2E205C
3C6578697374733E575C3C696E3E6720
792E2078205C3C696E3E2057220A2020
20202020202020202020696620227820
5C3C696E3E20746F7073706163652058
22202278205C3C696E3E205622202256
205C3C696E3E205C3C553E2220666F72
207820560A2020202020202020202070
726F6F66202D0A202020202020202020
20202068617665202256205C3C696E74
65723E205C3C556E696F6E3E5C3C463E
203D20746F7073706163652058205C3C
696E7465723E2056220A202020202020
20202020202020207573696E67205546
205C3C6F70656E3E56205C3C696E3E20
5C3C553E5C3C636C6F73653E20627920
626C6173740A20202020202020202020
20207769746820746861742067205B4F
46205C3C6F70656E3E56205C3C696E3E
205C3C553E5C3C636C6F73653E5D2020
73686F77203F74686573697320627920
626C6173740A20202020202020202020
7165640A20202020202020207165640A
2020202020207165640A202020207165
640A20207165640A20207468656E2073
686F77203F7468657369730A20202020
2020756E666F6C64696E67204C696E64
656C6F665F73706163655F646566206F
70656E696E5F737562746F706F6C6F67
795F616C742042616C6C5F6465662073
75627365745F696666205B73796D6D65
747269635D0A20202020202062792028
73696D70206164643A20616C6C5F7375
627365745F696D61676520696D705F63
6F6E6A4C2065785F636F756E7461626C
655F7375627365745F696D616765290A
7165640A0A6C656D6D6120636F756E74
61626C655F696D705F4C696E64656C6F
665F73706163653A0A2020617373756D
65732022636F756E7461626C6528746F
707370616365205829220A202073686F
777320224C696E64656C6F665F737061
63652058220A70726F6F66202D0A2020
6861766520224C696E64656C6F665F73
706163652028737562746F706F6C6F67
79205820285C3C556E696F6E3E78205C
3C696E3E20746F70737061636520582E
207B787D2929220A202070726F6F6620
2872756C65204C696E64656C6F665F73
706163655F556E696F6E290A20202020
73686F772022636F756E7461626C6520
28285C3C6C616D6264613E782E207B78
7D29206020746F707370616365205829
...

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