Quelle  FSet_Extra.thy   Sprache: unbekannt

282A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A29
0A282A2050726F6A6563743A20497361
62656C6C652F55545020546F6F6C6B69
74202020202020202020202020202020
20202020202020202020202020202020
2020202020202020202020202020202A
290A282A2046696C653A20465365745F
45787472612E74687920202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2A290A282A20417574686F72733A2046
72616E6B205A6579646120616E642053
696D6F6E20466F737465722028556E69
76657273697479206F6620596F726B2C
20554B29202020202020202020202020
202A290A282A20456D61696C733A2066
72616E6B2E7A6579646140796F726B2E
61632E756B20616E642073696D6F6E2E
666F7374657240796F726B2E61632E75
6B202020202020202020202020202020
20202A290A282A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A290A0A73656374696F6E205C
3C6F70656E3E46696E69746520536574
733A2065787472612066756E6374696F
6E7320616E642070726F706572746965
735C3C636C6F73653E0A0A7468656F72
7920465365745F45787472610A696D70
6F7274730A202022484F4C2D4C696272
6172792E46536574220A202022484F4C
2D4C6962726172792E436F756E746162
6C655F5365745F54797065220A626567
696E0A0A73657475705F6C696674696E
6720747970655F646566696E6974696F
6E5F667365740A0A6E6F746174696F6E
2066656D70747920285C3C6F70656E3E
5C3C6C62726163653E5C3C7262726163
653E5C3C636C6F73653E290A6E6F7461
74696F6E206673657420285C3C6F7065
6E3E5C3C6C616E676C653E5F5C3C7261
6E676C653E5C3C5E7375623E665C3C63
6C6F73653E290A6E6F746174696F6E20
666D696E75732028696E6669786C205C
3C6F70656E3E2D5C3C5E7375623E665C
3C636C6F73653E203635290A0A73796E
7461780A2020225F46696E4673657422
203A3A202261726773203D3E20276120
667365742220202020285C3C6F70656E
3E5C3C6C62726163653E285F295C3C72
62726163653E5C3C636C6F73653E290A
73796E7461785F636F6E7374730A2020
225F46696E4673657422203D3D206669
6E736572740A7472616E736C6174696F
6E730A2020225C3C6C62726163653E78
2C2078735C3C7262726163653E22203D
3D2022434F4E53542066696E73657274
2078205C3C6C62726163653E78735C3C
7262726163653E220A2020225C3C6C62
726163653E785C3C7262726163653E22
203D3D2022434F4E53542066696E7365
72742078205C3C6C62726163653E5C3C
7262726163653E220A0A7465726D2022
6642616C6C220A0A646566696E697469
6F6E2046556E696F6E203A3A20222761
20667365742066736574205C3C526967
68746172726F773E2027612066736574
2220285C3C6F70656E3E5C3C556E696F
6E3E5C3C5E7375623E665F5C3C636C6F
73653E205B39305D2039302920776865
72650A2246556E696F6E207873203D20
4162735F6673657420285C3C556E696F
6E3E785C3C696E3E5C3C6C616E676C65
3E78735C3C72616E676C653E5C3C5E73
75623E662E205C3C6C616E676C653E78
5C3C72616E676C653E5C3C5E7375623E
6629220A0A646566696E6974696F6E20
46496E746572203A3A20222761206673
65742066736574205C3C526967687461
72726F773E2027612066736574222028
5C3C6F70656E3E5C3C496E7465723E5C
3C5E7375623E665F5C3C636C6F73653E
205B39305D203930292077686572650A
2246496E746572207873203D20416273
5F6673657420285C3C496E7465723E78
5C3C696E3E5C3C6C616E676C653E7873
5C3C72616E676C653E5C3C5E7375623E
662E205C3C6C616E676C653E785C3C72
616E676C653E5C3C5E7375623E662922
0A0A74657874205C3C6F70656E3E4669
6E69746520706F776572207365745C3C
636C6F73653E0A0A646566696E697469
6F6E2046696E506F77203A3A20222761
2066736574205C3C5269676874617272
6F773E20276120667365742066736574
222077686572650A2246696E506F7720
7873203D204162735F66736574202841
62735F66736574206020506F77205C3C
6C616E676C653E78735C3C72616E676C
653E5C3C5E7375623E6629220A0A7465
7874205C3C6F70656E3E536574206F66
20616C6C2066696E6974652073756273
657473206F662061207365745C3C636C
6F73653E0A0A646566696E6974696F6E
20466F77203A3A202227612073657420
5C3C52696768746172726F773E202761
20667365742073657422207768657265
0A22466F772041203D207B782E205C3C
6C616E676C653E785C3C72616E676C65
3E5C3C5E7375623E66205C3C73756273
657465713E20417D220A0A6465636C61
7265204162735F667365745F696E7665
727365205B73696D705D0A0A6C656D6D
6120667365745F696E74726F3A0A2020
22667365742078203D20667365742079
205C3C4C6F6E6772696768746172726F
773E2078203D2079220A202062792028
73696D70206164643A667365745F696E
6A656374290A0A6C656D6D6120667365
745F656C696D3A0A2020225C3C6C6272
616B6B3E2078203D20793B2066736574
2078203D20667365742079205C3C4C6F
6E6772696768746172726F773E205020
5C3C726272616B6B3E205C3C4C6F6E67
72696768746172726F773E2050220A20
20627920286175746F290A0A6C656D6D
6120666D656D6265725F696E74726F3A
0A2020225C3C6C6272616B6B3E207820
5C3C696E3E206673657428787329205C
3C726272616B6B3E205C3C4C6F6E6772
696768746172726F773E2078207C5C3C
696E3E7C207873220A20202E0A0A6C65
6D6D6120666D656D6265725F656C696D
3A0A2020225C3C6C6272616B6B3E2078
207C5C3C696E3E7C2078733B2078205C
3C696E3E206673657428787329205C3C
4C6F6E6772696768746172726F773E20
50205C3C726272616B6B3E205C3C4C6F
6E6772696768746172726F773E205022
0A20202E0A0A6C656D6D6120666E6D65
6D6265725F696E74726F205B696E7472
6F5D3A0A2020225C3C6C6272616B6B3E
2078205C3C6E6F74696E3E2066736574
28787329205C3C726272616B6B3E205C
3C4C6F6E6772696768746172726F773E
2078207C5C3C6E6F74696E3E7C207873
220A20202E0A0A6C656D6D6120666E6D
656D6265725F656C696D205B656C696D
5D3A0A2020225C3C6C6272616B6B3E20
78207C5C3C6E6F74696E3E7C2078733B
2078205C3C6E6F74696E3E2066736574
28787329205C3C4C6F6E677269676874
6172726F773E2050205C3C726272616B
6B3E205C3C4C6F6E6772696768746172
726F773E2050220A20202E0A0A6C656D
6D6120667375627365745F696E74726F
205B696E74726F5D3A0A2020225C3C6C
616E676C653E78735C3C72616E676C65
3E5C3C5E7375623E66205C3C73756273
657465713E205C3C6C616E676C653E79
735C3C72616E676C653E5C3C5E737562
3E66205C3C4C6F6E6772696768746172
726F773E207873207C5C3C7375627365
7465713E7C207973220A202062792028
6D65746973206C6573735F65715F6673
65742E7265705F6571290A0A6C656D6D
6120667375627365745F656C696D205B
656C696D5D3A0A2020225C3C6C627261
6B6B3E207873207C5C3C737562736574
65713E7C2079733B205C3C6C616E676C
653E78735C3C72616E676C653E5C3C5E
7375623E66205C3C7375627365746571
3E205C3C6C616E676C653E79735C3C72
616E676C653E5C3C5E7375623E66205C
3C4C6F6E6772696768746172726F773E
2050205C3C726272616B6B3E205C3C4C
6F6E6772696768746172726F773E2050
220A2020627920286D65746973206C65
73735F65715F667365742E7265705F65
71290A0A6C656D6D61206642616C6C5F
696E74726F205B696E74726F5D3A0A20
202242616C6C205C3C6C616E676C653E
415C3C72616E676C653E5C3C5E737562
3E662050205C3C4C6F6E677269676874
6172726F773E206642616C6C20412050
220A2020627920286D65746973202870
6F6C795F6775617264735F7175657279
29206642616C6C49290A0A6C656D6D61
206642616C6C5F656C696D205B656C69
6D5D3A0A2020225C3C6C6272616B6B3E
206642616C6C204120503B2042616C6C
205C3C6C616E676C653E415C3C72616E
676C653E5C3C5E7375623E662050205C
3C4C6F6E6772696768746172726F773E
2051205C3C726272616B6B3E205C3C4C
6F6E6772696768746172726F773E2051
220A2020627920286D65746973206642
616C6C45290A0A6C6966745F64656669
6E6974696F6E2066696E736574203A3A
20222761206C697374205C3C52696768
746172726F773E202761206673657422
20697320736574202E2E0A0A636F6E74
657874206C696E6F726465720A626567
696E0A0A6C656D6D6120736F72746564
5F6C6973745F6F665F7365745F696E6A
3A0A2020225C3C6C6272616B6B3E2066
696E6974652078733B2066696E697465
2079733B20736F727465645F6C697374
5F6F665F736574207873203D20736F72
7465645F6C6973745F6F665F73657420
7973205C3C726272616B6B3E0A202020
5C3C4C6F6E6772696768746172726F77
3E207873203D207973220A2020617070
6C79202873696D70206164643A736F72
7465645F6C6973745F6F665F7365745F
646566290A20206170706C792028696E
647563742078732072756C653A66696E
6974655F696E64756374290A20202061
70706C792028696E6475637420797320
72756C653A66696E6974655F696E6475
6374290A202020206170706C79202873
696D705F616C6C290A2020206170706C
7920286D657469732066696E6974652E
696E736572744920696E736572745F6E
6F745F656D70747920736F727465645F
6C6973745F6F665F7365745F64656620
736F727465645F6C6973745F6F665F73
65745F656D70747920736F727465645F
6C6973745F6F665F7365745F65715F4E
696C5F696666290A20206170706C7920
286D657469732066696E6974652E696E
73657274492066696E6974655F6C6973
74207365745F72656D64757073207365
745F736F727420736F727465645F6C69
73745F6F665F7365745F64656620736F
727465645F6C6973745F6F665F736574
5F736F72745F72656D64757073290A20
20646F6E650A0A646566696E6974696F
6E20666C697374203A3A202227612066
736574205C3C52696768746172726F77
3E202761206C69737422207768657265
0A22666C697374207873203D20736F72
7465645F6C6973745F6F665F73657420
286673657420787329220A0A6C656D6D
6120666C6973745F696E6A3A2022696E
6A20666C697374220A20206170706C79
202873696D70206164643A666C697374
5F64656620696E6A5F6F6E5F64656629
0A20206170706C792028636C61726966
...

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