Quelle  Bounded_Set.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F43617264696E616C732F426F
756E6465645F5365742E7468790A2020
2020417574686F723A2020202020446D
6974726979205472617974656C2C2054
55204D75656E6368656E0A2020202043
6F70797269676874202020323031350A
0A426F756E64656420706F7765727365
7420747970652E0A2A290A0A73656374
696F6E205C3C6F70656E3E5365747320
5374726963746C7920426F756E646564
20627920616E20496E66696E69746520
43617264696E616C5C3C636C6F73653E
0A0A7468656F727920426F756E646564
5F5365740A696D706F72747320436172
64696E616C730A626567696E0A0A7479
7065646566202827612C20276B292062
73657420285C3C6F70656E3E5F207365
745B5F5D5C3C636C6F73653E205B3232
2C2032315D20323129203D0A2020227B
41203A3A202761207365742E207C417C
203C6F206E61744C6571202B63207C55
4E4956203A3A20276B207365747C7D22
0A20206D6F72706869736D7320736574
5F62736574204162735F627365740A20
206279202872756C65206578495B6F66
205F20227B7D225D2920286175746F20
73696D703A20636172645F6F665F656D
70747934206373756D5F646566290A0A
73657475705F6C696674696E67207479
70655F646566696E6974696F6E5F6273
65740A0A6C6966745F646566696E6974
696F6E206D61705F62736574203A3A0A
202022282761205C3C52696768746172
726F773E20276229205C3C5269676874
6172726F773E202761207365745B276B
5D205C3C52696768746172726F773E20
2762207365745B276B5D222069732069
6D6167650A20207573696E6720636172
645F6F665F696D616765206F72644C65
715F6F72644C6573735F7472616E7320
627920626C6173740A0A6C6966745F64
6566696E6974696F6E2072656C5F6273
6574203A3A0A202022282761205C3C52
696768746172726F773E202762205C3C
52696768746172726F773E20626F6F6C
29205C3C52696768746172726F773E20
2761207365745B276B5D205C3C526967
68746172726F773E202762207365745B
276B5D205C3C52696768746172726F77
3E20626F6F6C222069732072656C5F73
65740A20202E0A0A6C6966745F646566
696E6974696F6E2062656D707479203A
3A20222761207365745B276B5D222069
7320227B7D220A202062792028617574
6F2073696D703A20636172645F6F665F
656D70747934206373756D5F64656629
0A0A6C6966745F646566696E6974696F
6E2062696E73657274203A3A20222761
205C3C52696768746172726F773E2027
61207365745B276B5D205C3C52696768
746172726F773E202761207365745B27
6B5D222069732022696E73657274220A
20207573696E6720696E66696E697465
5F636172645F6F665F696E7365727420
6F726449736F5F6F72644C6573735F74
72616E73204669656C645F636172645F
6F66204669656C645F6E61744C657120
554E49565F506C75735F554E49560A20
20206373756D5F6465662066696E6974
655F506C75735F554E49565F69666620
66696E6974655F696E73657274206669
6E6974655F6F72644C6573735F696E66
696E6974653220696E66696E6974655F
554E49565F6E6174206279206D657469
730A0A646566696E6974696F6E206273
696E676C65746F6E2077686572650A20
20226273696E676C65746F6E2078203D
2062696E7365727420782062656D7074
79220A0A6C656D6D61207365745F6273
65745F746F5F7365745F627365743A20
227C417C203C6F206E61744C6571202B
63207C554E4956203A3A20276B207365
747C205C3C4C6F6E6772696768746172
726F773E0A20207365745F6273657420
287468655F696E76207365745F627365
742041203A3A202761207365745B276B
5D29203D2041220A20206170706C7920
2872756C6520665F7468655F696E765F
696E746F5F665B756E666F6C64656420
696E6A5F6F6E5F6465665D290A202061
70706C79202873696D70206164643A20
7365745F627365745F696E6A65637420
72616E67655F657149204162735F6273
65745F696E76657273655B73796D6D65
747269635D290A20206170706C792028
72756C652072616E67655F6571492041
62735F627365745F696E76657273655B
73796D6D65747269635D20436F6C6C65
637449292B0A20202E0A0A6C656D6D61
2072656C5F627365745F6175785F696E
66696E6974653A0A2020666978657320
61203A3A20222761207365745B276B5D
2220616E642062203A3A202227622073
65745B276B5D220A202073686F777320
22285C3C666F72616C6C3E74205C3C69
6E3E207365745F6273657420612E205C
3C6578697374733E75205C3C696E3E20
7365745F6273657420622E2052207420
7529205C3C616E643E20285C3C666F72
616C6C3E75205C3C696E3E207365745F
6273657420622E205C3C657869737473
3E74205C3C696E3E207365745F627365
7420612E20522074207529205C3C6C6F
6E676C65667472696768746172726F77
3E0A2020202828424E465F4465662E47
7270207B612E207365745F6273657420
61205C3C73756273657465713E207B28
612C2062292E2052206120627D7D2028
6D61705F627365742066737429295C3C
696E76657273653E5C3C696E76657273
653E204F4F0A20202020424E465F4465
662E477270207B612E207365745F6273
65742061205C3C73756273657465713E
207B28612C2062292E2052206120627D
7D20286D61705F6273657420736E6429
2920612062222028697320223F4C205C
3C6C6F6E676C65667472696768746172
726F773E203F5222290A70726F6F660A
2020617373756D65203F4C0A20206465
66696E65205227203A3A202228276120
5C3C74696D65733E2027622920736574
5B276B5D220A20202020776865726520
225227203D207468655F696E76207365
745F627365742028436F6C6C65637420
28636173655F70726F64205229205C3C
696E7465723E20287365745F62736574
2061205C3C74696D65733E207365745F
6273657420622929220A202020202020
28697320225F203D207468655F696E76
207365745F62736574203F4C2722290A
20206861766520227C3F4C277C203C6F
206E61744C6571202B63207C554E4956
203A3A20276B207365747C220A202020
20756E666F6C64696E67206373756D5F
646566204669656C645F6E61744C6571
0A2020202062792028696E74726F206F
72644C65715F6F72644C6573735F7472
616E735B4F4620636172645F6F665F6D
6F6E6F315B4F4620496E745F6C6F7765
72325D5D0A202020202020636172645F
6F665F54696D65735F6F72644C657373
5F696E66696E697465290A2020202020
202873696D702C20287472616E736665
722C2073696D70206164643A20637375
6D5F646566204669656C645F6E61744C
6571292B290A202068656E6365202A3A
20227365745F62736574205227203D20
3F4C272220756E666F6C64696E672052
275F6465662062792028696E74726F20
7365745F627365745F746F5F7365745F
62736574290A202073686F77203F5220
756E666F6C64696E67204772705F6465
662072656C636F6D70702E73696D7073
20636F6E7665727365702E73696D7073
0A202070726F6F662028696E74726F20
436F6C6C6563744920636173655F7072
6F6449206578495B6F66205F20615D20
6578495B6F66205F20625D206578495B
6F66205F2052275D20636F6E6A492072
65666C290A2020202066726F6D202A20
73686F77202261203D206D61705F6273
65742066737420522722207573696E67
20636F6E6A756E6374315B4F46205C3C
6F70656E3E3F4C5C3C636C6F73653E5D
0A202020202020627920287472616E73
6665722C206175746F2073696D702061
64643A20696D6167655F64656620496E
745F6465662073706C69743A2070726F
642E73706C697473290A202020206672
6F6D202A2073686F77202262203D206D
61705F6273657420736E642052272220
7573696E6720636F6E6A756E6374325B
4F46205C3C6F70656E3E3F4C5C3C636C
6F73653E5D0A20202020202062792028
7472616E736665722C206175746F2073
696D70206164643A20696D6167655F64
656620496E745F6465662073706C6974
3A2070726F642E73706C697473290A20
2071656420286175746F2073696D7020
6164643A202A290A6E6578740A202061
7373756D65203F522074687573203F4C
20756E666F6C64696E67204772705F64
65662072656C636F6D70702E73696D70
7320636F6E7665727365702E73696D70
730A202020206279207472616E736665
7220666F7263650A7165640A0A626E66
20222761207365745B276B5D220A2020
6D61703A206D61705F627365740A2020
736574733A207365745F627365740A20
2062643A20226E61744C6571202B6320
636172645F737563207C554E4956203A
3A20276B207365747C220A2020776974
733A2062656D7074790A202072656C3A
2072656C5F627365740A70726F6F6620
2D0A202073686F7720226D61705F6273
6574206964203D206964222062792028
72756C65206578742C207472616E7366
6572292073696D700A6E6578740A2020
666978206620670A202073686F772022
6D61705F62736574202866206F206729
203D206D61705F627365742066206F20
6D61705F627365742067222062792028
72756C65206578742C207472616E7366
657229206175746F0A6E6578740A2020
6669782058206620670A202061737375
6D6520225C3C416E643E7A2E207A205C
3C696E3E207365745F62736574205820
5C3C4C6F6E6772696768746172726F77
3E2066207A203D2067207A220A202074
68656E2073686F7720226D61705F6273
657420662058203D206D61705F627365
742067205822206279207472616E7366
657220666F7263650A6E6578740A2020
66697820660A202073686F7720227365
745F62736574205C3C636972633E206D
61705F627365742066203D2028602920
66205C3C636972633E207365745F6273
657422206279202872756C6520657874
2C207472616E7366657229206175746F
0A6E6578740A20206669782058203A3A
20222761207365745B276B5D220A2020
6861766520227C7365745F6273657420
587C203C6F206E61744C6571202B6320
7C554E4956203A3A20276B207365747C
22206279207472616E7366657220626C
6173740A20207468656E2073686F7720
227C7365745F6273657420587C203C6F
206E61744C6571202B6320636172645F
737563207C554E4956203A3A20276B20
7365747C220A20202020627920287275
6C65206F72644C6573735F6F72644C65
715F7472616E735B4F46205F20637375
6D5F6D6F6E6F325B4F46206F72644C65
73735F696D705F6F72644C65715B4F46
20636172645F7375635F677265617465
725B4F4620636172645F6F665F636172
645F6F726465725F6F6E5D5D5D5D290A
6E6578740A2020666978205220530A20
2073686F77202272656C5F6273657420
52204F4F2072656C5F62736574205320
5C3C6C653E2072656C5F627365742028
52204F4F205329220A20202020627920
2872756C652070726564696361746532
492C207472616E736665722920286175
746F2073696D703A2072656C5F736574
...

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