Quelle  Measure_Space.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F416E616C797369732F4D6561
737572655F53706163652E7468790A20
202020417574686F723A20202020204C
617772656E63652043205061756C736F
6E0A20202020417574686F723A202020
20204A6F68616E6E65732048C3B66C7A
6C2C205455204DC3BC6E6368656E0A20
202020417574686F723A202020202041
726D696E2048656C6C65722C20545520
4DC3BC6E6368656E0A2A290A0A736563
74696F6E205C3C6F70656E3E4D656173
757265205370616365735C3C636C6F73
653E0A0A7468656F7279204D65617375
72655F53706163650A696D706F727473
0A20204D656173757261626C65202248
4F4C2D4C6962726172792E457874656E
6465645F4E6F6E6E656761746976655F
5265616C220A626567696E0A0A737562
73656374696F6E5C3C5E6D61726B6572
3E5C3C6F70656E3E74616720756E696D
706F7274616E745C3C636C6F73653E20
2252656C61746520657874656E646564
207265616C7320616E64207468652069
6E64696361746F722066756E6374696F
6E220A0A6C656D6D612073756D696E66
5F636D756C745F696E64696361746F72
3A0A202066697865732066203A3A2022
6E6174205C3C52696768746172726F77
3E20656E6E7265616C220A2020617373
756D657320226469736A6F696E745F66
616D696C79204122202278205C3C696E
3E20412069220A202073686F77732022
285C3C53756D3E6E2E2066206E202A20
696E64696361746F72202841206E2920
7829203D20662069220A70726F6F6620
2D0A202068617665202A2A3A20225C3C
416E643E6E2E2066206E202A20696E64
696361746F72202841206E292078203D
20286966206E203D2069207468656E20
66206E20656C73652030203A3A20656E
6E7265616C29220A202020207573696E
67205C3C6F70656E3E78205C3C696E3E
204120695C3C636C6F73653E20617373
6D7320756E666F6C64696E6720646973
6A6F696E745F66616D696C795F6F6E5F
64656620696E64696361746F725F6465
66206279206175746F0A20207468656E
206861766520225C3C416E643E6E2E20
285C3C53756D3E6A3C6E2E2066206A20
2A20696E64696361746F72202841206A
29207829203D202869662069203C206E
207468656E2066206920656C73652030
203A3A20656E6E7265616C29220A2020
2020627920286175746F2073696D703A
2073756D2E49665F6361736573290A20
206D6F72656F76657220686176652022
28535550206E2E2069662069203C206E
207468656E2066206920656C73652030
29203D2028662069203A3A20656E6E72
65616C29220A202070726F6F66202872
756C65205355505F657149290A202020
206669782079203A3A20656E6E726561
6C20617373756D6520225C3C416E643E
6E2E206E205C3C696E3E20554E495620
5C3C4C6F6E6772696768746172726F77
3E202869662069203C206E207468656E
2066206920656C7365203029205C3C6C
653E2079220A2020202066726F6D2074
6869735B6F6620225375632069225D20
73686F772022662069205C3C6C653E20
7922206279206175746F0A2020716564
2028757365206173736D7320696E2073
696D70290A2020756C74696D6174656C
792073686F77203F7468657369732075
73696E67206173736D730A2020202062
79202873696D70206164643A2073756D
696E665F65715F535550290A7165640A
0A6C656D6D612073756D696E665F696E
64696361746F723A0A2020617373756D
657320226469736A6F696E745F66616D
696C792041220A202073686F77732022
285C3C53756D3E6E2E20696E64696361
746F72202841206E292078203A3A2065
6E6E7265616C29203D20696E64696361
746F7220285C3C556E696F6E3E692E20
412069292078220A70726F6F66206361
7365730A2020617373756D65202A3A20
2278205C3C696E3E20285C3C556E696F
6E3E692E2041206929220A2020746865
6E206F627461696E2069207768657265
202278205C3C696E3E20412069222062
79206175746F0A202066726F6D207375
6D696E665F636D756C745F696E646963
61746F725B4F46206173736D73283129
2C204F46205C3C6F70656E3E78205C3C
696E3E204120695C3C636C6F73653E2C
206F6620225C3C6C616D6264613E6B2E
2031225D0A202073686F77203F746865
736973207573696E67202A2062792073
696D700A7165642073696D700A0A6C65
6D6D612073756D5F696E64696361746F
725F6469736A6F696E745F66616D696C
793A0A202066697865732066203A3A20
222764205C3C52696768746172726F77
3E2027653A3A73656D6972696E675F31
220A2020617373756D657320643A2022
6469736A6F696E745F66616D696C795F
6F6E204120502220616E64202278205C
3C696E3E2041206A2220616E64202266
696E69746520502220616E6420226A20
5C3C696E3E2050220A202073686F7773
2022285C3C53756D3E695C3C696E3E50
2E20662069202A20696E64696361746F
72202841206929207829203D2066206A
220A70726F6F66202D0A202068617665
202250205C3C696E7465723E207B692E
2078205C3C696E3E204120697D203D20
7B6A7D220A202020207573696E672064
205C3C6F70656E3E78205C3C696E3E20
41206A5C3C636C6F73653E205C3C6F70
656E3E6A205C3C696E3E20505C3C636C
6F73653E20756E666F6C64696E672064
69736A6F696E745F66616D696C795F6F
6E5F6465660A20202020627920617574
6F0A202077697468205C3C6F70656E3E
66696E69746520505C3C636C6F73653E
2073686F77203F7468657369730A2020
20206279202873696D70206164643A20
696E64696361746F725F646566290A71
65640A0A74657874205C3C6F70656E3E
0A2020546865207479706520666F7220
656D6561737572652073706163657320
697320616C726561647920646566696E
656420696E205C3C5E7468656F72793E
5C3C6F70656E3E484F4C2D416E616C79
7369732E5369676D615F416C67656272
615C3C636C6F73653E2C206173206974
0A2020697320616C736F207573656420
746F20726570726573656E7420736967
6D6120616C6765627261732028776974
6820616E206172626974726172792065
6D656173757265292E0A5C3C636C6F73
653E0A0A73756273656374696F6E5C3C
5E6D61726B65723E5C3C6F70656E3E74
616720756E696D706F7274616E745C3C
636C6F73653E2022457874656E642062
696E6172792073657473220A0A6C656D
6D61204C494D5345515F62696E617279
7365743A0A2020617373756D65732066
3A202266207B7D203D2030220A202073
686F7773202022285C3C6C616D626461
3E6E2E205C3C53756D3E693C6E2E2066
202862696E6172797365742041204220
692929205C3C6C6F6E676C6F6E676C6F
6E6772696768746172726F773E206620
41202B20662042220A70726F6F66202D
0A2020686176652022285C3C6C616D62
64613E6E2E205C3C53756D3E69203C20
5375632028537563206E292E20662028
62696E61727973657420412042206929
29203D20285C3C6C616D6264613E6E2E
20662041202B2066204229220A202020
2070726F6F660A202020202020666978
206E0A20202020202073686F77202228
5C3C53756D3E69203C20537563202853
7563206E292E2066202862696E617279
7365742041204220692929203D206620
41202B20662042220A20202020202020
2062792028696E64756374206E292020
286175746F2073696D703A2062696E61
72797365745F6465662066290A202020
207165640A202074687573203F746865
7369730A202020206279202873696D70
206164643A204C494D5345515F696D70
5F537563290A7165640A0A6C656D6D61
2062696E6172797365745F73756D733A
0A2020617373756D657320663A202266
207B7D203D2030220A202073686F7773
202022285C3C6C616D6264613E6E2E20
66202862696E61727973657420412042
206E29292073756D732028662041202B
2066204229220A20207573696E67204C
494D5345515F62696E61727973657420
662073756D735F64656620627920626C
6173740A0A6C656D6D612073756D696E
665F62696E6172797365745F65713A0A
202066697865732066203A3A20222761
20736574205C3C52696768746172726F
773E2027623A3A7B636F6D6D5F6D6F6E
6F69645F6164642C2074325F73706163
657D220A202073686F7773202266207B
7D203D2030205C3C4C6F6E6772696768
746172726F773E20285C3C53756D3E6E
2E2066202862696E6172797365742041
2042206E2929203D20662041202B2066
2042220A2020627920286D6574697320
62696E6172797365745F73756D732073
756D735F756E69717565290A0A737562
73656374696F6E5C3C5E6D61726B6572
3E5C3C6F70656E3E74616720756E696D
706F7274616E745C3C636C6F73653E20
5C3C6F70656E3E50726F706572746965
73206F662061207072656D6561737572
65205C3C5E7465726D3E5C3C6F70656E
3E5C3C6D753E5C3C636C6F73653E5C3C
636C6F73653E0A0A74657874205C3C6F
70656E3E0A202054686520646566696E
6974696F6E7320666F72205C3C5E636F
6E73743E5C3C6F70656E3E706F736974
6976655C3C636C6F73653E20616E6420
5C3C5E636F6E73743E5C3C6F70656E3E
636F756E7461626C795F616464697469
76655C3C636C6F73653E2073686F756C
6420626520686572652C206279207468
6579206172650A20206E656365737361
727920746F20646566696E65205C3C5E
7479703E5C3C6F70656E3E2761206D65
61737572655C3C636C6F73653E20696E
205C3C5E7468656F72793E5C3C6F7065
6E3E484F4C2D416E616C797369732E53
69676D615F416C67656272615C3C636C
6F73653E2E0A5C3C636C6F73653E0A0A
646566696E6974696F6E207375626164
6469746976652077686572650A202022
7375626164646974697665204D206620
5C3C6C6F6E676C656674726967687461
72726F773E20285C3C666F72616C6C3E
785C3C696E3E4D2E205C3C666F72616C
6C3E795C3C696E3E4D2E2078205C3C69
6E7465723E2079203D207B7D205C3C6C
6F6E6772696768746172726F773E2066
202878205C3C756E696F6E3E20792920
5C3C6C653E20662078202B2066207929
220A0A6C656D6D612073756261646469
74697665443A20227375626164646974
697665204D2066205C3C4C6F6E677269
6768746172726F773E2078205C3C696E
7465723E2079203D207B7D205C3C4C6F
6E6772696768746172726F773E207820
5C3C696E3E204D205C3C4C6F6E677269
6768746172726F773E2079205C3C696E
3E204D205C3C4C6F6E67726967687461
72726F773E2066202878205C3C756E69
6F6E3E207929205C3C6C653E20662078
202B20662079220A2020627920286175
746F2073696D703A2073756261646469
746976655F646566290A0A646566696E
6974696F6E20636F756E7461626C795F
73756261646469746976652077686572
650A202022636F756E7461626C795F73
75626164646974697665204D2066205C
3C6C6F6E676C65667472696768746172
726F773E0A20202020285C3C666F7261
6C6C3E412E2072616E67652041205C3C
73756273657465713E204D205C3C6C6F
...

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