Quelle  Group_Closure.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F436F6D7075746174696F6E61
6C5F416C67656272612F47726F75705F
436C6F737572652E7468790A20202020
417574686F723A20202020204A6F6861
6E6E657320486F656C7A6C2C20545520
4D75656E6368656E0A20202020417574
686F723A2020202020466C6F7269616E
20486166746D616E6E2C205455204D75
656E6368656E0A2A290A0A7468656F72
792047726F75705F436C6F737572650A
696D706F7274730A20204D61696E0A62
6567696E0A0A636F6E74657874206162
5F67726F75705F6164640A626567696E
0A0A696E647563746976655F73657420
67726F75705F636C6F73757265203A3A
2022276120736574205C3C5269676874
6172726F773E20276120736574222066
6F7220530A2020776865726520626173
653A202273205C3C696E3E20696E7365
727420302053205C3C4C6F6E67726967
68746172726F773E2073205C3C696E3E
2067726F75705F636C6F737572652053
220A7C20646966663A202273205C3C69
6E3E2067726F75705F636C6F73757265
2053205C3C4C6F6E6772696768746172
726F773E2074205C3C696E3E2067726F
75705F636C6F737572652053205C3C4C
6F6E6772696768746172726F773E2073
202D2074205C3C696E3E2067726F7570
5F636C6F737572652053220A0A6C656D
6D61207A65726F5F696E5F67726F7570
5F636C6F73757265205B73696D705D3A
0A20202230205C3C696E3E2067726F75
705F636C6F737572652053220A202075
73696E672067726F75705F636C6F7375
72652E62617365205B6F66203020535D
2062792073696D700A0A6C656D6D6120
67726F75705F636C6F737572655F6D69
6E75735F696666205B73696D705D3A0A
2020222D2073205C3C696E3E2067726F
75705F636C6F737572652053205C3C6C
6F6E676C65667472696768746172726F
773E2073205C3C696E3E2067726F7570
5F636C6F737572652053220A20207573
696E672067726F75705F636C6F737572
652E64696666205B6F66203020532073
5D2067726F75705F636C6F737572652E
64696666205B6F662030205320222D20
73225D206279206175746F0A0A6C656D
6D612067726F75705F636C6F73757265
5F6164643A0A20202273202B2074205C
3C696E3E2067726F75705F636C6F7375
7265205322206966202273205C3C696E
3E2067726F75705F636C6F7375726520
532220616E64202274205C3C696E3E20
67726F75705F636C6F73757265205322
0A20207573696E672074686174206772
6F75705F636C6F737572652E64696666
205B6F662073205320222D2074225D20
6279206175746F0A0A6C656D6D612067
726F75705F636C6F737572655F656D70
7479205B73696D705D3A0A2020226772
6F75705F636C6F73757265207B7D203D
207B307D220A20206279202872756C65
2063636F6E74722920286175746F2065
6C696D3A2067726F75705F636C6F7375
72652E696E64756374290A0A6C656D6D
612067726F75705F636C6F737572655F
696E736572745F7A65726F205B73696D
705D3A0A20202267726F75705F636C6F
737572652028696E7365727420302053
29203D2067726F75705F636C6F737572
652053220A2020627920286175746F20
656C696D3A2067726F75705F636C6F73
7572652E696E6475637420696E74726F
3A2067726F75705F636C6F737572652E
696E74726F73290A0A656E640A0A636F
6E7465787420636F6D6D5F72696E675F
310A626567696E0A0A6C656D6D612067
726F75705F636C6F737572655F736361
6C61725F6D756C745F6C6566743A0A20
20226F665F6E6174206E202A2073205C
3C696E3E2067726F75705F636C6F7375
7265205322206966202273205C3C696E
3E2067726F75705F636C6F7375726520
53220A20207573696E67207468617420
62792028696E64756374696F6E206E29
20286175746F2073696D70206164643A
20616C67656272615F73696D70732069
6E74726F3A2067726F75705F636C6F73
7572655F616464290A0A6C656D6D6120
67726F75705F636C6F737572655F7363
616C61725F6D756C745F72696768743A
0A20202273202A206F665F6E6174206E
205C3C696E3E2067726F75705F636C6F
73757265205322206966202273205C3C
696E3E2067726F75705F636C6F737572
652053220A20207573696E6720746861
742067726F75705F636C6F737572655F
7363616C61725F6D756C745F6C656674
205B6F6620732053206E5D2062792028
73696D70206164643A2061635F73696D
7073290A0A656E640A0A6C656D6D6120
67726F75705F636C6F737572655F6162
735F696666205B73696D705D3A0A2020
225C3C6261723E735C3C6261723E205C
3C696E3E2067726F75705F636C6F7375
72652053205C3C6C6F6E676C65667472
696768746172726F773E2073205C3C69
6E3E2067726F75705F636C6F73757265
20532220666F722073203A3A20696E74
0A20206279202873696D70206164643A
206162735F6966290A0A6C656D6D6120
67726F75705F636C6F737572655F6D75
6C745F6C6566743A0A20202273202A20
74205C3C696E3E2067726F75705F636C
6F73757265205322206966202273205C
3C696E3E2067726F75705F636C6F7375
726520532220666F7220732074203A3A
20696E740A70726F6F66202D0A202066
726F6D20746861742067726F75705F63
6C6F737572655F7363616C61725F6D75
6C745F7269676874205B6F6620732053
20226E6174205C3C6261723E745C3C62
61723E225D0A20202020686176652022
73202A20696E7420286E6174205C3C62
61723E745C3C6261723E29205C3C696E
3E2067726F75705F636C6F7375726520
53220A202020206279202873696D7020
6F6E6C793A290A20207468656E207368
6F77203F7468657369730A2020202062
7920286361736573202274205C3C6765
3E203022292073696D705F616C6C0A71
65640A0A6C656D6D612067726F75705F
636C6F737572655F6D756C745F726967
68743A0A20202273202A2074205C3C69
6E3E2067726F75705F636C6F73757265
205322206966202274205C3C696E3E20
67726F75705F636C6F73757265205322
20666F7220732074203A3A20696E740A
20207573696E6720746861742067726F
75705F636C6F737572655F6D756C745F
6C656674205B6F662074205320735D20
6279202873696D70206164643A206163
5F73696D7073290A0A636F6E74657874
2069646F6D0A626567696E0A0A6C656D
6D612067726F75705F636C6F73757265
5F6D756C745F616C6C5F65713A0A2020
2267726F75705F636C6F737572652028
74696D6573206B2060205329203D2074
696D6573206B20602067726F75705F63
6C6F737572652053220A70726F6F6620
2872756C653B2072756C65290A202066
697820730A202068617665202A3A2022
6B202A2061202B206B202A2062203D20
6B202A202861202B206229220A202020
20226B202A2061202D206B202A206220
3D206B202A202861202D206229222066
6F72206120620A202020206279202873
696D705F616C6C206164643A20616C67
656272615F73696D7073290A20206173
73756D65202273205C3C696E3E206772
6F75705F636C6F73757265202874696D
6573206B2060205329220A2020746865
6E2073686F77202273205C3C696E3E20
74696D6573206B20602067726F75705F
636C6F737572652053220A2020202062
7920696E64756374696F6E2028617574
6F2073696D70206164643A202A20696D
6167655F69666620696E74726F3A2067
726F75705F636C6F737572652E626173
652067726F75705F636C6F737572652E
646966662062657849205B6F66205F20
305D290A6E6578740A20206669782073
0A2020617373756D65202273205C3C69
6E3E2074696D6573206B20602067726F
75705F636C6F737572652053220A2020
7468656E206F627461696E2072207768
65726520723A202272205C3C696E3E20
67726F75705F636C6F73757265205322
20616E6420733A202273203D206B202A
2072220A202020206279206175746F0A
202066726F6D2072206861766520226B
202A2072205C3C696E3E2067726F7570
5F636C6F73757265202874696D657320
6B2060205329220A2020202062792028
696E64756374696F6E20617262697472
6172793A20732920286175746F207369
6D70206164643A20616C67656272615F
73696D707320696E74726F3A2067726F
75705F636C6F737572652E696E74726F
73290A20207769746820732073686F77
202273205C3C696E3E2067726F75705F
636C6F73757265202874696D6573206B
2060205329220A202020206279207369
6D700A7165640A0A656E640A0A6C656D
6D61204763645F67726F75705F636C6F
737572655F65715F4763643A0A202022
476364202867726F75705F636C6F7375
7265205329203D204763642053222066
6F722053203A3A2022696E7420736574
220A70726F6F66202872756C65206173
736F6369617465645F657149290A2020
68617665202247636420532064766420
7322206966202273205C3C696E3E2067
726F75705F636C6F7375726520532220
666F7220730A202020207573696E6720
7468617420627920696E64756374696F
6E206175746F0A20207468656E207368
6F772022476364205320647664204763
64202867726F75705F636C6F73757265
205329220A202020206279206175746F
0A202068617665202247636420286772
6F75705F636C6F737572652053292064
7664207322206966202273205C3C696E
3E20532220666F7220730A202070726F
6F66202D0A2020202066726F6D207468
61742068617665202273205C3C696E3E
2067726F75705F636C6F737572652053
220A2020202020206279202873696D70
206164643A2067726F75705F636C6F73
7572652E62617365290A202020207468
656E2073686F77203F7468657369730A
2020202020206279202872756C652047
63645F647664290A20207165640A2020
7468656E2073686F7720224763642028
67726F75705F636C6F73757265205329
20647664204763642053220A20202020
6279206175746F0A7165642073696D70
5F616C6C0A0A6C656D6D612067726F75
705F636C6F737572655F73756D3A0A20
2066697865732053203A3A2022696E74
20736574220A2020617373756D657320
583A202266696E697465205822202258
205C3C6E6F7465713E207B7D22202258
205C3C73756273657465713E2053220A
202073686F77732022285C3C53756D3E
785C3C696E3E582E20612078202A2078
29205C3C696E3E2067726F75705F636C
6F737572652053220A20207573696E67
20582062792028696E64756374696F6E
20582072756C653A2066696E6974655F
6E655F696E64756374290A2020202028
6175746F20696E74726F3A2067726F75
705F636C6F737572655F6D756C745F72
696768742067726F75705F636C6F7375
72652E626173652067726F75705F636C
6F737572655F616464290A0A6C656D6D
61204763645F67726F75705F636C6F73
7572655F696E5F67726F75705F636C6F
737572653A0A20202247636420286772
6F75705F636C6F73757265205329205C
3C696E3E2067726F75705F636C6F7375
726520532220666F722053203A3A2022
696E7420736574220A70726F6F662028
...

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