Quelle  Gamma_Function.thy   Sprache: unbekannt

282A20205469746C653A20202020484F
4C2F416E616C797369732F47616D6D61
5F46756E6374696F6E2E7468790A2020
2020417574686F723A2020204D616E75
656C20456265726C2C205455204DC3BC
6E6368656E0A2A290A0A73656374696F
6E205C3C6F70656E3E5468652047616D
6D612046756E6374696F6E5C3C636C6F
73653E0A0A7468656F72792047616D6D
615F46756E6374696F6E0A2020696D70
6F7274730A20204571756976616C656E
63655F4C656265736775655F48656E73
746F636B5F496E746567726174696F6E
0A202053756D6D6174696F6E5F546573
74730A20204861726D6F6E69635F4E75
6D626572730A202022484F4C2D4C6962
726172792E4E6F6E706F735F496E7473
220A202022484F4C2D4C696272617279
2E506572696F6469635F46756E220A62
6567696E0A0A74657874205C3C6F7065
6E3E0A20205365766572616C20657175
6976616C656E7420646566696E697469
6F6E73206F66207468652047616D6D61
2066756E6374696F6E20616E64206974
730A20206D6F737420696D706F727461
6E742070726F706572746965732E2041
6C736F20636F6E7461696E7320746865
20646566696E6974696F6E20616E6420
736F6D652070726F706572746965730A
20206F6620746865206C6F672D47616D
6D612066756E6374696F6E20616E6420
74686520446967616D6D612066756E63
74696F6E20616E6420746865206F7468
657220506F6C7967616D6D612066756E
6374696F6E732E0A0A20204261736564
206F6E207468652047616D6D61206675
6E6374696F6E2C20776520616C736F20
70726F76652074686520576569657273
7472617B5C73737D2070726F64756374
20666F726D206F66207468650A202073
696E2066756E6374696F6E20616E642C
206261736564206F6E20746869732C20
74686520736F6C7574696F6E206F6620
74686520426173656C2070726F626C65
6D20287468650A202073756D206F7665
7220616C6C205C3C5E7465726D3E5C3C
6F70656E3E31202F20286E3A3A6E6174
295E325C3C636C6F73653E2E0A5C3C63
6C6F73653E0A0A6C656D6D6120706F63
6868616D6D65725F65715F305F696D70
5F6E6F6E706F735F496E743A0A202022
706F636868616D6D65722028783A3A27
613A3A6669656C645F636861725F3029
206E203D2030205C3C4C6F6E67726967
68746172726F773E2078205C3C696E3E
205C3C696E743E5C3C5E7375623E5C3C
6C653E5C3C5E7375623E30220A202062
7920286175746F2073696D703A20706F
636868616D6D65725F65715F305F6966
66290A0A6C656D6D6120636C6F736564
5F6E6F6E706F735F496E7473205B7369
6D705D3A2022636C6F73656420285C3C
696E743E5C3C5E7375623E5C3C6C653E
5C3C5E7375623E30203A3A202761203A
3A207265616C5F6E6F726D65645F616C
67656272615F312073657429220A7072
6F6F66202D0A20206861766520225C3C
696E743E5C3C5E7375623E5C3C6C653E
5C3C5E7375623E30203D20286F665F69
6E742060207B6E2E206E205C3C6C653E
20307D203A3A2027612073657429220A
20202020627920286175746F20656C69
6D213A206E6F6E706F735F496E74735F
636173657320696E74726F213A206E6F
6E706F735F496E74735F6F665F696E74
290A2020616C736F2068617665202263
6C6F736564205C3C646F74733E222062
79202872756C6520636C6F7365645F6F
665F696E745F696D616765290A202066
696E616C6C792073686F77203F746865
736973202E0A7165640A0A6C656D6D61
2073696E5F7365726965733A2022285C
3C6C616D6264613E6E2E2028282D3129
5E6E202F20666163742028322A6E2B31
2929202A5C3C5E7375623E52207A5E28
322A6E2B3129292073756D732073696E
207A220A70726F6F66202D0A20206672
6F6D2073696E5F636F6E766572676573
5B6F66207A5D20686176652022285C3C
6C616D6264613E6E2E2073696E5F636F
656666206E202A5C3C5E7375623E5220
7A5E6E292073756D732073696E207A22
202E0A2020616C736F20686176652022
285C3C6C616D6264613E6E2E2073696E
5F636F656666206E202A5C3C5E737562
3E52207A5E6E292073756D732073696E
207A205C3C6C6F6E676C656674726967
68746172726F773E0A20202020202020
20202020202020202020285C3C6C616D
6264613E6E2E2028282D31295E6E202F
20666163742028322A6E2B312929202A
5C3C5E7375623E52207A5E28322A6E2B
3129292073756D732073696E207A220A
20202020627920287375627374207375
6D735F6D6F6E6F5F7265696E6465785B
6F6620225C3C6C616D6264613E6E2E20
322A6E2B31222C2073796D6D65747269
635D290A20202020202020286175746F
2073696D703A2073696E5F636F656666
5F646566207374726963745F6D6F6E6F
5F6465662061635F73696D707320656C
696D213A206F646445290A202066696E
616C6C792073686F77203F7468657369
73202E0A7165640A0A6C656D6D612063
6F735F7365726965733A2022285C3C6C
616D6264613E6E2E2028282D31295E6E
202F20666163742028322A6E2929202A
5C3C5E7375623E52207A5E28322A6E29
292073756D7320636F73207A220A7072
6F6F66202D0A202066726F6D20636F73
5F636F6E7665726765735B6F66207A5D
20686176652022285C3C6C616D626461
3E6E2E20636F735F636F656666206E20
2A5C3C5E7375623E52207A5E6E292073
756D7320636F73207A22202E0A202061
6C736F20686176652022285C3C6C616D
6264613E6E2E20636F735F636F656666
206E202A5C3C5E7375623E52207A5E6E
292073756D7320636F73207A205C3C6C
6F6E676C65667472696768746172726F
773E0A20202020202020202020202020
20202020285C3C6C616D6264613E6E2E
2028282D31295E6E202F206661637420
28322A6E2929202A5C3C5E7375623E52
207A5E28322A6E29292073756D732063
6F73207A220A20202020627920287375
6273742073756D735F6D6F6E6F5F7265
696E6465785B6F6620225C3C6C616D62
64613E6E2E20322A6E222C2073796D6D
65747269635D290A2020202020202028
6175746F2073696D703A20636F735F63
6F6566665F646566207374726963745F
6D6F6E6F5F6465662061635F73696D70
7320656C696D213A206576656E45290A
202066696E616C6C792073686F77203F
746865736973202E0A7165640A0A6C65
6D6D612073696E5F7A5F6F7665725F7A
5F7365726965733A0A20206669786573
207A203A3A20222761203A3A207B7265
616C5F6E6F726D65645F6669656C642C
62616E6163687D220A2020617373756D
657320227A205C3C6E6F7465713E2030
220A202073686F777320202022285C3C
6C616D6264613E6E2E20282D31295E6E
202F20666163742028322A6E2B312920
2A207A5E28322A6E29292073756D7320
2873696E207A202F207A29220A70726F
6F66202D0A202066726F6D2073696E5F
7365726965735B6F66207A5D20686176
652022285C3C6C616D6264613E6E2E20
7A202A2028282D31295E6E202F206661
63742028322A6E2B312929202A207A5E
28322A6E29292073756D732073696E20
7A220A202020206279202873696D7020
6164643A206669656C645F73696D7073
207363616C65525F636F6E765F6F665F
7265616C290A202066726F6D2073756D
735F6D756C745B4F4620746869732C20
6F662022696E7665727365207A225D20
616E64206173736D732073686F77203F
7468657369730A202020206279202873
696D70206164643A206669656C645F73
696D7073290A7165640A0A6C656D6D61
2073696E5F7A5F6F7665725F7A5F7365
72696573273A0A20206669786573207A
203A3A20222761203A3A207B7265616C
5F6E6F726D65645F6669656C642C6261
6E6163687D220A2020617373756D6573
20227A205C3C6E6F7465713E2030220A
202073686F777320202022285C3C6C61
6D6264613E6E2E2073696E5F636F6566
6620286E2B3129202A5C3C5E7375623E
52207A5E6E292073756D73202873696E
207A202F207A29220A70726F6F66202D
0A202066726F6D2073756D735F73706C
69745F696E697469616C5F7365676D65
6E745B4F462073696E5F636F6E766572
6765735B6F66207A5D2C206F6620315D
0A20202020686176652022285C3C6C61
6D6264613E6E2E207A202A202873696E
5F636F65666620286E2B3129202A5C3C
5E7375623E52207A205E206E29292073
756D732073696E207A22206279207369
6D700A202066726F6D2073756D735F6D
756C745B4F4620746869732C206F6620
22696E7665727365207A225D20617373
6D732073686F77203F74686573697320
6279202873696D70206164643A206669
656C645F73696D7073290A7165640A0A
6C656D6D61206861735F6669656C645F
646572697661746976655F73696E5F7A
5F6F7665725F7A3A0A20206669786573
2041203A3A20222761203A3A207B7265
616C5F6E6F726D65645F6669656C642C
62616E6163687D20736574220A202073
686F7773202228285C3C6C616D626461
3E7A2E206966207A203D203020746865
6E203120656C73652073696E207A202F
207A29206861735F6669656C645F6465
72697661746976652030292028617420
302077697468696E204129220A202020
2020202869732022283F66206861735F
6669656C645F64657269766174697665
203F662729205F22290A70726F6F6620
2872756C65206861735F6669656C645F
646572697661746976655F61745F7769
7468696E290A20206861766520222828
5C3C6C616D6264613E7A3A3A27612E20
5C3C53756D3E6E2E206F665F7265616C
202873696E5F636F65666620286E2B31
2929202A207A5E6E290A202020202020
2020202020206861735F6669656C645F
6465726976617469766520285C3C5375
6D3E6E2E20646966667320285C3C6C61
6D6264613E6E2E206F665F7265616C20
2873696E5F636F65666620286E2B3129
2929206E202A20305E6E292920286174
203029220A202070726F6F6620287275
6C65207465726D64696666735F737472
6F6E67290A2020202066726F6D207375
6D6D61626C655F69676E6F72655F696E
697469616C5F7365676D656E745B4F46
2073756D735F73756D6D61626C655B4F
462073696E5F636F6E7665726765735B
6F662022313A3A2761225D5D2C206F66
20315D0A20202020202073686F772022
73756D6D61626C6520285C3C6C616D62
64613E6E2E206F665F7265616C202873
696E5F636F65666620286E2B31292920
2A2028313A3A2761295E6E2922206279
202873696D70206164643A206F665F72
65616C5F646566290A20207165642073
696D700A2020616C736F206861766520
22285C3C6C616D6264613E7A3A3A2761
2E205C3C53756D3E6E2E206F665F7265
616C202873696E5F636F65666620286E
2B312929202A207A5E6E29203D203F66
220A202070726F6F660A202020206669
78207A0A2020202073686F772022285C
3C53756D3E6E2E206F665F7265616C20
2873696E5F636F65666620286E2B3129
29202A207A5E6E2920203D203F66207A
220A2020202020206279202863617365
7320227A203D203022292028696E7365
72742073696E5F7A5F6F7665725F7A5F
736572696573275B6F66207A5D2C0A20
...

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