Quelle  Bochner_Integration.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F416E616C797369732F426F63
686E65725F496E746567726174696F6E
2E7468790A20202020417574686F723A
20202020204A6F68616E6E65732048C3
B66C7A6C2C205455204DC3BC6E636865
6E0A2A290A0A73656374696F6E205C3C
6F70656E3E426F63686E657220496E74
6567726174696F6E20666F7220566563
746F722D56616C7565642046756E6374
696F6E735C3C636C6F73653E0A0A7468
656F727920426F63686E65725F496E74
6567726174696F6E0A2020696D706F72
74732046696E6974655F50726F647563
745F4D6561737572650A626567696E0A
0A74657874205C3C6F70656E3E0A0A49
6E2074686520666F6C6C6F77696E6720
646576656C6F706D656E74206F662074
686520426F63686E657220696E746567
72616C20776520757365207365636F6E
6420636F756E7461626C6520746F706F
6C6F6769657320696E73746561640A6F
6620736570617261626C652073706163
65732E2041207365636F6E6420636F75
6E7461626C6520746F706F6C6F677920
697320616C736F20736570617261626C
652E0A0A5C3C636C6F73653E0A0A7072
6F706F736974696F6E20626F72656C5F
6D656173757261626C655F696D706C69
65735F73657175656E63655F6D657472
69633A0A202066697865732066203A3A
20222761205C3C52696768746172726F
773E202762203A3A207B6D6574726963
5F73706163652C207365636F6E645F63
6F756E7461626C655F746F706F6C6F67
797D220A2020617373756D6573205B6D
656173757261626C655D3A202266205C
3C696E3E20626F72656C5F6D65617375
7261626C65204D220A202073686F7773
20225C3C6578697374733E462E20285C
3C666F72616C6C3E692E2073696D706C
655F66756E6374696F6E204D20284620
692929205C3C616E643E20285C3C666F
72616C6C3E785C3C696E3E7370616365
204D2E20285C3C6C616D6264613E692E
20462069207829205C3C6C6F6E676C6F
6E676C6F6E6772696768746172726F77
3E2066207829205C3C616E643E0A2020
2020285C3C666F72616C6C3E692E205C
3C666F72616C6C3E785C3C696E3E7370
616365204D2E20646973742028462069
207829207A205C3C6C653E2032202A20
64697374202866207829207A29220A70
726F6F66202D0A20206F627461696E20
44203A3A202227622073657422207768
6572652022636F756E7461626C652044
2220616E6420443A20225C3C416E643E
582E206F70656E2058205C3C4C6F6E67
72696768746172726F773E2058205C3C
6E6F7465713E207B7D205C3C4C6F6E67
72696768746172726F773E205C3C6578
697374733E645C3C696E3E442E206420
5C3C696E3E2058220A20202020627920
286572756C6520636F756E7461626C65
5F64656E73655F73657445290A0A2020
646566696E6520652077686572652022
65203D2066726F6D5F6E61745F696E74
6F2044220A20207B20666978206E2078
0A202020206F627461696E2064207768
657265202264205C3C696E3E20442220
616E6420643A202264205C3C696E3E20
62616C6C2078202831202F2053756320
6E29220A2020202020207573696E6720
445B6F66202262616C6C207820283120
2F20537563206E29225D206279206175
746F0A2020202066726F6D205C3C6F70
656E3E64205C3C696E3E20445C3C636C
6F73653E20445B6F6620554E49565D20
5C3C6F70656E3E636F756E7461626C65
20445C3C636C6F73653E206F62746169
6E2069207768657265202264203D2065
2069220A202020202020756E666F6C64
696E6720655F64656620627920286175
746F20646573743A2066726F6D5F6E61
745F696E746F5F7375726A290A202020
20776974682064206861766520225C3C
6578697374733E692E20646973742078
202865206929203C2031202F20537563
206E220A202020202020627920617574
6F207D0A20206E6F74652065203D2074
6869730A0A2020646566696E65204120
7768657265205B6162735F6465665D3A
202241206D206E203D0A202020207B78
5C3C696E3E7370616365204D2E206469
7374202866207829202865206E29203C
2031202F2028537563206D29205C3C61
6E643E2031202F2028537563206D2920
5C3C6C653E2064697374202866207829
207A7D2220666F72206D206E0A202064
6566696E652042207768657265205B61
62735F6465665D3A202242206D203D20
6469736A6F696E746564202841206D29
2220666F72206D0A0A2020646566696E
65206D207768657265205B6162735F64
65665D3A20226D204E2078203D204D61
78207B6D2E206D205C3C6C653E204E20
5C3C616E643E2078205C3C696E3E2028
5C3C556E696F6E3E6E5C3C6C653E4E2E
2042206D206E297D2220666F72204E20
780A2020646566696E65204620776865
7265205B6162735F6465665D3A202246
204E2078203D0A202020202869662028
5C3C6578697374733E6D5C3C6C653E4E
2E2078205C3C696E3E20285C3C556E69
6F6E3E6E5C3C6C653E4E2E2042206D20
6E2929205C3C616E643E20285C3C6578
697374733E6E5C3C6C653E4E2E207820
5C3C696E3E204220286D204E20782920
6E290A20202020207468656E20652028
4C45415354206E2E2078205C3C696E3E
204220286D204E207829206E2920656C
7365207A292220666F72204E20780A0A
20206861766520425F696D705F415B69
6E74726F2C2073696D705D3A20225C3C
416E643E78206D206E2E2078205C3C69
6E3E2042206D206E205C3C4C6F6E6772
696768746172726F773E2078205C3C69
6E3E2041206D206E220A202020207573
696E67206469736A6F696E7465645F73
75627365745B6F66202241206D222066
6F72206D5D20756E666F6C64696E6720
425F646566206279206175746F0A0A20
207B20666978206D0A20202020686176
6520225C3C416E643E6E2E2041206D20
6E205C3C696E3E2073657473204D220A
202020202020627920286175746F2073
696D703A20415F646566290A20202020
7468656E206861766520225C3C416E64
3E6E2E2042206D206E205C3C696E3E20
73657473204D220A2020202020207573
696E6720736574732E72616E67655F64
69736A6F696E7465645F736574735B6F
66202241206D22204D5D206279202861
75746F2073696D703A20425F64656629
207D0A20206E6F746520746869735B6D
656173757261626C655D0A0A20207B20
666978204E2069207820617373756D65
20225C3C6578697374733E6D5C3C6C65
3E4E2E2078205C3C696E3E20285C3C55
6E696F6E3E6E5C3C6C653E4E2E204220
6D206E29220A202020207468656E2068
61766520226D204E2078205C3C696E3E
207B6D3A3A6E61742E206D205C3C6C65
3E204E205C3C616E643E2078205C3C69
6E3E20285C3C556E696F6E3E6E5C3C6C
653E4E2E2042206D206E297D220A2020
20202020756E666F6C64696E67206D5F
6465662062792028696E74726F204D61
785F696E29206175746F0A2020202074
68656E206861766520226D204E207820
5C3C6C653E204E2220225C3C65786973
74733E6E5C3C6C653E4E2E2078205C3C
696E3E204220286D204E207829206E22
0A2020202020206279206175746F207D
0A20206E6F7465206D203D2074686973
0A0A20207B20666978206A204E206920
7820617373756D6520226A205C3C6C65
3E204E22202269205C3C6C653E204E22
202278205C3C696E3E2042206A206922
0A202020207468656E20686176652022
6A205C3C6C653E206D204E2078220A20
2020202020756E666F6C64696E67206D
5F6465662062792028696E74726F204D
61785F676529206175746F207D0A2020
6E6F7465206D5F7570706572203D2074
6869730A0A202073686F77203F746865
7369730A20202020756E666F6C64696E
672073696D706C655F66756E6374696F
6E5F6465660A202070726F6F66202873
61666520696E74726F213A206578495B
6F66205F20465D290A20202020686176
65205B6D656173757261626C655D3A20
225C3C416E643E692E20462069205C3C
696E3E20626F72656C5F6D6561737572
61626C65204D220A202020202020756E
666F6C64696E6720465F646566206D5F
646566206279206D656173757261626C
650A2020202073686F7720225C3C416E
643E7820692E20462069202D60207B78
7D205C3C696E7465723E207370616365
204D205C3C696E3E2073657473204D22
0A2020202020206279206D6561737572
61626C650A0A202020207B2066697820
690A2020202020207B20666978206E20
7820617373756D65202278205C3C696E
3E204220286D2069207829206E220A20
202020202020207468656E2068617665
2022284C45415354206E2E2078205C3C
696E3E204220286D2069207829206E29
205C3C6C653E206E220A202020202020
2020202062792028696E74726F204C65
6173745F6C65290A2020202020202020
616C736F20617373756D6520226E205C
3C6C653E2069220A2020202020202020
66696E616C6C7920686176652022284C
45415354206E2E2078205C3C696E3E20
4220286D2069207829206E29205C3C6C
653E206922202E207D0A202020202020
7468656E206861766520224620692060
207370616365204D205C3C7375627365
7465713E207B7A7D205C3C756E696F6E
3E20652060207B2E2E20697D220A2020
202020202020627920286175746F2073
696D703A20465F646566290A20202020
20207468656E2073686F77202266696E
69746520284620692060207370616365
204D29220A2020202020202020627920
2872756C652066696E6974655F737562
73657429206175746F207D0A0A202020
207B20666978204E2069206E20782061
7373756D65202269205C3C6C653E204E
2220226E205C3C6C653E204E22202278
205C3C696E3E20422069206E220A2020
202020207468656E206861766520313A
20225C3C6578697374733E6D5C3C6C65
3E4E2E2078205C3C696E3E20285C3C55
6E696F6E3E6E5C3C6C653E4E2E204220
6D206E2922206279206175746F0A2020
2020202066726F6D206D5B4F46207468
69735D206F627461696E206E20776865
7265206E3A20226D204E2078205C3C6C
653E204E2220226E205C3C6C653E204E
22202278205C3C696E3E204220286D20
4E207829206E22206279206175746F0A
2020202020206D6F72656F7665720A20
2020202020646566696E65204C207768
65726520224C203D20284C4541535420
6E2E2078205C3C696E3E204220286D20
4E207829206E29220A20202020202068
61766520226469737420286620782920
2865204C29203C2031202F2053756320
286D204E207829220A20202020202070
726F6F66202D0A202020202020202068
617665202278205C3C696E3E20422028
6D204E207829204C220A202020202020
202020207573696E67206E2833292075
6E666F6C64696E67204C5F6465662062
79202872756C65204C6561737449290A
20202020202020207468656E20686176
65202278205C3C696E3E204120286D20
4E207829204C220A2020202020202020
20206279206175746F0A202020202020
20207468656E2073686F77203F746865
7369730A20202020202020202020756E
666F6C64696E6720415F646566206279
2073696D700A2020202020207165640A
...

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