Quelle  Sigma_Algebra.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F416E616C797369732F536967
6D615F416C67656272612E7468790A20
202020417574686F723A202020202053
746566616E20526963687465722C204D
61726B75732057656E7A656C2C205455
204DC3BC6E6368656E0A202020204175
74686F723A20202020204A6F68616E6E
65732048C3B66C7A6C2C205455204DC3
BC6E6368656E0A20202020506C757320
6D6174657269616C2066726F6D207468
6520487572642F436F626C65206D6561
73757265207468656F72792064657665
6C6F706D656E742C0A20202020747261
6E736C61746564206279204C61777265
6E6365205061756C736F6E2E0A2A290A
0A63686170746572205C3C6F70656E3E
4D65617375726520616E6420496E7465
67726174696F6E205468656F72795C3C
636C6F73653E0A0A7468656F72792053
69676D615F416C67656272610A696D70
6F7274730A2020436F6D706C65785F4D
61696E0A202022484F4C2D4C69627261
72792E436F756E7461626C655F536574
220A202022484F4C2D4C696272617279
2E46756E63536574220A202022484F4C
2D4C6962726172792E496E6469636174
6F725F46756E6374696F6E220A202022
484F4C2D4C6962726172792E45787465
6E6465645F4E6F6E6E65676174697665
5F5265616C220A202022484F4C2D4C69
62726172792E4469736A6F696E745F53
657473220A626567696E0A0A0A736563
74696F6E205C3C6F70656E3E5369676D
6120416C67656272615C3C636C6F7365
3E0A0A74657874205C3C6F70656E3E53
69676D6120616C676562726173206172
6520616E20656C656D656E7461727920
636F6E6365707420696E206D65617375
72650A20207468656F72792E20546F20
6D656173757265202D2D2D2074686174
20697320746F20696E74656772617465
202D2D2D2066756E6374696F6E732C20
776520666972737420686176650A2020
746F206D65617375726520736574732E
20556E666F7274756E6174656C792C20
7768656E206465616C696E6720776974
682061206C6172676520756E69766572
73652C0A20206974206973206F667465
6E206E6F7420706F737369626C652074
6F20636F6E73697374656E746C792061
737369676E2061206D65617375726520
746F2065766572790A20207375627365
742E205468657265666F726520697420
6973206E656365737361727920746F20
646566696E652074686520736574206F
66206D656173757261626C650A202073
756273657473206F662074686520756E
6976657273652E2041207369676D6120
616C6765627261206973207375636820
61207365742074686174206861730A20
2074687265652076657279206E617475
72616C20616E6420646573697261626C
652070726F706572746965732E5C3C63
6C6F73653E0A0A73756273656374696F
6E205C3C6F70656E3E46616D696C6965
73206F6620736574735C3C636C6F7365
3E0A0A6C6F63616C655C3C5E6D61726B
65723E5C3C6F70656E3E74616720696D
706F7274616E745C3C636C6F73653E20
7375627365745F636C617373203D0A20
206669786573205C3C4F6D6567613E20
3A3A20222761207365742220616E6420
4D203A3A202227612073657420736574
220A2020617373756D65732073706163
655F636C6F7365643A20224D205C3C73
756273657465713E20506F77205C3C4F
6D6567613E220A0A6C656D6D61202869
6E207375627365745F636C6173732920
736574735F696E746F5F73706163653A
202278205C3C696E3E204D205C3C4C6F
6E6772696768746172726F773E207820
5C3C73756273657465713E205C3C4F6D
6567613E220A2020627920286D657469
7320506F774420636F6E7472615F7375
62736574442073706163655F636C6F73
6564290A0A7375627375627365637469
6F6E205C3C6F70656E3E53656D697269
6E67206F6620736574735C3C636C6F73
653E0A0A6C6F63616C655C3C5E6D6172
6B65723E5C3C6F70656E3E7461672069
6D706F7274616E745C3C636C6F73653E
2073656D6972696E675F6F665F736574
73203D207375627365745F636C617373
202B0A2020617373756D657320656D70
74795F736574735B6966665D3A20227B
7D205C3C696E3E204D220A2020617373
756D657320496E745B696E74726F5D3A
20225C3C416E643E6120622E2061205C
3C696E3E204D205C3C4C6F6E67726967
68746172726F773E2062205C3C696E3E
204D205C3C4C6F6E6772696768746172
726F773E2061205C3C696E7465723E20
62205C3C696E3E204D220A2020617373
756D657320446966665F636F7665723A
0A20202020225C3C416E643E6120622E
2061205C3C696E3E204D205C3C4C6F6E
6772696768746172726F773E2062205C
3C696E3E204D205C3C4C6F6E67726967
68746172726F773E205C3C6578697374
733E435C3C73756273657465713E4D2E
2066696E6974652043205C3C616E643E
206469736A6F696E742043205C3C616E
643E2061202D2062203D205C3C556E69
6F6E3E43220A0A6C656D6D612028696E
2073656D6972696E675F6F665F736574
73292066696E6974655F494E545B696E
74726F5D3A0A2020617373756D657320
2266696E697465204922202249205C3C
6E6F7465713E207B7D2220225C3C416E
643E692E2069205C3C696E3E2049205C
3C4C6F6E6772696768746172726F773E
20412069205C3C696E3E204D220A2020
73686F77732022285C3C496E7465723E
695C3C696E3E492E2041206929205C3C
696E3E204D220A20207573696E672061
73736D732062792028696E6475637420
72756C653A2066696E6974655F6E655F
696E6475637429206175746F0A0A6C65
6D6D612028696E2073656D6972696E67
5F6F665F736574732920496E745F7370
6163655F657131205B73696D705D3A20
2278205C3C696E3E204D205C3C4C6F6E
6772696768746172726F773E205C3C4F
6D6567613E205C3C696E7465723E2078
203D2078220A2020627920286D657469
7320496E745F6162736F726231207365
74735F696E746F5F7370616365290A0A
6C656D6D612028696E2073656D697269
6E675F6F665F736574732920496E745F
73706163655F657132205B73696D705D
3A202278205C3C696E3E204D205C3C4C
6F6E6772696768746172726F773E2078
205C3C696E7465723E205C3C4F6D6567
613E203D2078220A2020627920286D65
74697320496E745F6162736F72623220
736574735F696E746F5F737061636529
0A0A6C656D6D612028696E2073656D69
72696E675F6F665F7365747329207365
74735F436F6C6C6563745F636F6E6A3A
0A2020617373756D657320227B785C3C
696E3E5C3C4F6D6567613E2E20502078
7D205C3C696E3E204D2220227B785C3C
696E3E5C3C4F6D6567613E2E20512078
7D205C3C696E3E204D220A202073686F
777320227B785C3C696E3E5C3C4F6D65
67613E2E20512078205C3C616E643E20
5020787D205C3C696E3E204D220A7072
6F6F66202D0A20206861766520227B78
5C3C696E3E5C3C4F6D6567613E2E2051
2078205C3C616E643E205020787D203D
207B785C3C696E3E5C3C4F6D6567613E
2E205120787D205C3C696E7465723E20
7B785C3C696E3E5C3C4F6D6567613E2E
205020787D220A202020206279206175
746F0A202077697468206173736D7320
73686F77203F74686573697320627920
6175746F0A7165640A0A6C656D6D6120
28696E2073656D6972696E675F6F665F
736574732920736574735F436F6C6C65
63745F66696E6974655F416C6C273A0A
2020617373756D657320225C3C416E64
3E692E2069205C3C696E3E2053205C3C
4C6F6E6772696768746172726F773E20
7B785C3C696E3E5C3C4F6D6567613E2E
2050206920787D205C3C696E3E204D22
202266696E697465205322202253205C
3C6E6F7465713E207B7D220A20207368
6F777320227B785C3C696E3E5C3C4F6D
6567613E2E205C3C666F72616C6C3E69
5C3C696E3E532E2050206920787D205C
3C696E3E204D220A70726F6F66202D0A
20206861766520227B785C3C696E3E5C
3C4F6D6567613E2E205C3C666F72616C
6C3E695C3C696E3E532E205020692078
7D203D20285C3C496E7465723E695C3C
696E3E532E207B785C3C696E3E5C3C4F
6D6567613E2E2050206920787D29220A
202020207573696E67205C3C6F70656E
3E53205C3C6E6F7465713E207B7D5C3C
636C6F73653E206279206175746F0A20
2077697468206173736D732073686F77
203F746865736973206279206175746F
0A7165640A0A73756273756273656374
696F6E205C3C6F70656E3E52696E6720
6F6620736574735C3C636C6F73653E0A
0A6C6F63616C655C3C5E6D61726B6572
3E5C3C6F70656E3E74616720696D706F
7274616E745C3C636C6F73653E207269
6E675F6F665F73657473203D2073656D
6972696E675F6F665F73657473202B0A
2020617373756D657320556E205B696E
74726F5D3A20225C3C416E643E612062
2E2061205C3C696E3E204D205C3C4C6F
6E6772696768746172726F773E206220
5C3C696E3E204D205C3C4C6F6E677269
6768746172726F773E2061205C3C756E
696F6E3E2062205C3C696E3E204D220A
0A6C656D6D612028696E2072696E675F
6F665F73657473292066696E6974655F
556E696F6E205B696E74726F5D3A0A20
202266696E6974652058205C3C4C6F6E
6772696768746172726F773E2058205C
3C73756273657465713E204D205C3C4C
6F6E6772696768746172726F773E205C
3C556E696F6E3E58205C3C696E3E204D
220A202062792028696E647563742073
65743A2066696E697465292028617574
6F2073696D70206164643A20556E290A
0A6C656D6D612028696E2072696E675F
6F665F73657473292066696E6974655F
554E5B696E74726F5D3A0A2020617373
756D6573202266696E69746520492220
616E6420225C3C416E643E692E206920
5C3C696E3E2049205C3C4C6F6E677269
6768746172726F773E20412069205C3C
696E3E204D220A202073686F77732022
285C3C556E696F6E3E695C3C696E3E49
2E2041206929205C3C696E3E204D220A
20207573696E67206173736D73206279
20696E64756374206175746F0A0A6C65
6D6D612028696E2072696E675F6F665F
73657473292044696666205B696E7472
6F5D3A0A2020617373756D6573202261
205C3C696E3E204D22202262205C3C69
6E3E204D222073686F7773202261202D
2062205C3C696E3E204D220A20207573
696E6720446966665F636F7665725B4F
46206173736D735D206279206175746F
0A0A6C656D6D612072696E675F6F665F
73657473493A0A2020617373756D6573
2073706163655F636C6F7365643A2022
4D205C3C73756273657465713E20506F
77205C3C4F6D6567613E220A20206173
73756D657320656D7074795F73657473
5B6966665D3A20227B7D205C3C696E3E
204D220A2020617373756D657320556E
5B696E74726F5D3A20225C3C416E643E
6120622E2061205C3C696E3E204D205C
3C4C6F6E6772696768746172726F773E
2062205C3C696E3E204D205C3C4C6F6E
6772696768746172726F773E2061205C
3C756E696F6E3E2062205C3C696E3E20
4D220A2020617373756D657320446966
665B696E74726F5D3A20225C3C416E64
3E6120622E2061205C3C696E3E204D20
...

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