Quelle  WordOperations.thy   Sprache: unbekannt

282A20205469746C653A202020202020
5253415053532F576F72646F70657261
74696F6E732E7468790A202020204175
74686F723A2020202020436872697374
696E61204C696E64656E626572672C20
4B616920576972742C20546563686E69
7363686520556E69766572736974C3A4
74204461726D73746164740A20202020
436F707972696768743A202032303035
202D20546563686E697363686520556E
69766572736974C3A474204461726D73
746164740A2A290A0A73656374696F6E
20205C3C6F70656E3E457874656E7369
6F6E7320746F2074686520576F726420
7468656F727920726571756972656420
666F7220534841315C3C636C6F73653E
0A0A7468656F727920576F72644F7065
726174696F6E730A696D706F72747320
576F72640A626567696E0A0A74797065
5F73796E6F6E796D206276203D202262
6974206C697374220A0A646174617479
706520484558203D207830207C207831
207C207832207C207833207C20783420
7C207835207C207836207C207837207C
207838207C207839207C207841207C20
7842207C207843207C207844207C2078
45207C2078460A0A646566696E697469
6F6E0A20206276786F723A2022627678
6F7220612062203D2062765F6D61707A
697020285C3C6F706C75733E5C3C5E73
75623E622920612062220A0A64656669
6E6974696F6E0A20206276616E643A20
226276616E6420612062203D2062765F
6D61707A697020285C3C616E643E5C3C
5E7375623E622920612062220A0A6465
66696E6974696F6E0A202062766F723A
202262766F7220612062203D2062765F
6D61707A697020285C3C6F723E5C3C5E
7375623E622920612062220A0A707269
6D726563206C6173742077686572650A
2020226C617374205B5D203D205A6572
6F220A7C20226C617374202878237229
203D202869662028723D5B5D29207468
656E207820656C736520286C61737420
722929220A0A7072696D726563206465
6C6C6173742077686572650A20202264
656C6C617374205B5D203D205B5D220A
7C202264656C6C617374202878237229
203D20286966202872203D205B5D2920
7468656E205B5D20656C736520287823
64656C6C61737420722929220A0A6675
6E206276726F6C2077686572650A2020
226276726F6C20612030203D2061220A
7C20226276726F6C205B5D2078203D20
5B5D220A7C20226276726F6C20287823
72292028537563206E29203D20627672
6F6C202872405B785D29206E220A0A66
756E206276726F722077686572650A20
20226276726F7220612030203D206122
0A7C20226276726F72205B5D2078203D
205B5D220A7C20226276726F72207820
28537563206E29203D206276726F7220
286C617374207820232064656C6C6173
74207829206E220A0A66756E2073656C
65637468656C702077686572650A2020
2273656C65637468656C70205B5D206E
203D2028696620286E203C3D20302920
7468656E205B5A65726F5D20656C7365
20285A65726F20232073656C65637468
656C70205B5D20286E2D28313A3A6E61
7429292929220A7C202273656C656374
68656C70202878236C29206E203D2028
696620286E203C3D203029207468656E
205B785D20656C736520287820232073
656C65637468656C70206C20286E2D28
313A3A6E61742929292922200A0A6675
6E2073656C6563742077686572650A20
202273656C656374205B5D2069206E20
3D20286966202869203C3D2030292074
68656E202873656C65637468656C7020
5B5D206E2920656C73652073656C6563
74205B5D2028692D28313A3A6E617429
2920286E2D28313A3A6E617429292922
0A7C202273656C656374202878236C29
2069206E203D20286966202869203C3D
203029207468656E202873656C656374
68656C70202878236C29206E2920656C
73652073656C656374206C2028692D28
313A3A6E6174292920286E2D28313A3A
6E6174292929220A0A646566696E6974
696F6E0A20206164646D6F6433323A20
226164646D6F64333220612062203D0A
20202020726576202873656C65637420
2872657620286E61745F746F5F627620
282862765F746F5F6E6174206129202B
202862765F746F5F6E61742062292929
29203020333129220A0A646566696E69
74696F6E0A202062765F70726570656E
643A202262765F70726570656E642078
2062206276203D207265706C69636174
65207820622040206276220A0A707269
6D726563207A65726F6C697374207768
6572650A2020227A65726F6C69737420
30203D205B5D220A7C20227A65726F6C
6973742028537563206E29203D207A65
726F6C697374206E202040205B5A6572
6F5D220A0A7072696D72656320686578
746F62762077686572650A2020226865
78746F6276207830203D205B5A65726F
2C5A65726F2C5A65726F2C5A65726F5D
220A7C2022686578746F627620783120
3D205B5A65726F2C5A65726F2C5A6572
6F2C4F6E655D220A7C2022686578746F
6276207832203D205B5A65726F2C5A65
726F2C4F6E652C5A65726F5D220A7C20
22686578746F6276207833203D205B5A
65726F2C5A65726F2C4F6E652C4F6E65
5D220A7C2022686578746F6276207834
203D205B5A65726F2C4F6E652C5A6572
6F2C5A65726F5D220A7C202268657874
6F6276207835203D205B5A65726F2C4F
6E652C5A65726F2C4F6E655D220A7C20
22686578746F6276207836203D205B5A
65726F2C4F6E652C4F6E652C5A65726F
5D220A7C2022686578746F6276207837
203D205B5A65726F2C4F6E652C4F6E65
2C4F6E655D220A7C2022686578746F62
76207838203D205B4F6E652C5A65726F
2C5A65726F2C5A65726F5D220A7C2022
686578746F6276207839203D205B4F6E
652C5A65726F2C5A65726F2C4F6E655D
220A7C2022686578746F627620784120
3D205B4F6E652C5A65726F2C4F6E652C
5A65726F5D220A7C2022686578746F62
76207842203D205B4F6E652C5A65726F
2C4F6E652C4F6E655D220A7C20226865
78746F6276207843203D205B4F6E652C
4F6E652C5A65726F2C5A65726F5D220A
7C2022686578746F6276207844203D20
5B4F6E652C4F6E652C5A65726F2C4F6E
655D220A7C2022686578746F62762078
45203D205B4F6E652C4F6E652C4F6E65
2C5A65726F5D220A7C2022686578746F
6276207846203D205B4F6E652C4F6E65
2C4F6E652C4F6E655D220A0A7072696D
7265632068657876746F627620776865
72650A20202268657876746F6276205B
5D203D205B5D220A7C20226865787674
6F6276202878237229203D2068657874
6F6276207820402068657876746F6276
2072220A0A6C656D6D612073656C6563
746C656E68656C703A20226C656E6774
68202873656C65637468656C70206C20
6929203D202869202B203129220A7072
6F6F662028696E647563742069206172
626974726172793A206C290A20206361
736520300A202073686F7720226C656E
677468202873656C65637468656C7020
6C203029203D2030202B2031220A2020
70726F6F6620286361736573206C290A
2020202063617365204E696C0A202020
207468656E2068617665202273656C65
637468656C70206C2030203D205B5A65
726F5D222062792073696D700A202020
207468656E2073686F77203F74686573
69732062792073696D700A20206E6578
740A20202020636173652028436F6E73
2061206173290A202020207468656E20
68617665202273656C65637468656C70
206C2030203D205B615D222062792073
696D700A202020207468656E2073686F
77203F7468657369732062792073696D
700A20207165640A6E6578740A202063
61736520285375632078290A20207368
6F7720226C656E677468202873656C65
637468656C70206C2028537563207829
29203D2028537563207829202B203122
0A202070726F6F662028636173657320
6C290A2020202063617365204E696C0A
202020207468656E2068617665202273
656C65637468656C70206C2028537563
207829203D205A65726F20232073656C
65637468656C70206C20782220627920
73696D70200A202020207468656E2073
686F7720226C656E677468202873656C
65637468656C70206C20285375632078
2929203D205375632078202B20312220
7573696E67205375632062792073696D
700A20206E6578740A20202020636173
652028436F6E7320612062290A202020
207468656E2068617665202273656C65
637468656C70206C2028537563207829
203D206120232073656C65637468656C
7020622078222062792073696D700A20
2020207468656E206861766520226C65
6E677468202873656C65637468656C70
206C202853756320782929203D203120
2B206C656E677468202873656C656374
68656C70206220782922206279207369
6D700A202020207468656E2073686F77
20226C656E677468202873656C656374
68656C70206C20285375632078292920
3D205375632078202B20312220757369
6E67205375632062792073696D700A20
207165640A7165640A0A6C656D6D6120
73656C6563746C656E68656C70323A20
20225C3C416E643E692E205C3C666F72
616C6C3E6C206A2E205C3C6578697374
733E6B2E2073656C656374206C206920
6A203D2073656C656374206B20302028
6A202D206929220A70726F6F66202861
75746F290A202066697820690A202073
686F7720225C3C416E643E6C206A2E20
5C3C6578697374733E6B2E2073656C65
6374206C2069206A203D2073656C6563
74206B203020286A202D206929220A20
2070726F6F662028696E647563742069
290A20202020666978206C20616E6420
6A200A2020202068617665202273656C
656374206C2030206A203D2073656C65
6374206C203020286A2D28303A3A6E61
742929222062792073696D700A202020
207468656E2073686F7720225C3C6578
697374733E6B2E2073656C656374206C
2030206A203D2073656C656374206B20
3020286A202D2028303A3A6E61742929
22206279206175746F0A20206E657874
0A202020206361736520285375632078
290A202020206861766520623A202273
656C656374206C202853756320782920
6A203D2073656C6563742028746C206C
29207820286A2D28313A3A6E61742929
220A2020202070726F6F662028636173
6573206C290A20202020202063617365
204E696C0A2020202020207468656E20
68617665202273656C656374206C2028
537563207829206A203D2073656C6563
74206C207820286A2D28313A3A6E6174
2929222062792073696D700A20202020
20206D6F72656F766572206861766520
22746C206C203D206C22207573696E67
204E696C2062792073696D700A202020
202020756C74696D6174656C79207368
6F77203F746865736973206279202873
696D70290A202020206E6578740A2020
20202020636173652028436F6E732068
656164207461696C290A202020202020
7468656E2068617665202273656C6563
74206C2028537563207829206A203D20
73656C656374207461696C207820286A
2D28313A3A6E61742929222062792073
696D700A2020202020206D6F72656F76
6572206861766520227461696C203D20
746C206C22207573696E6720436F6E73
2062792073696D700A20202020202075
6C74696D6174656C792073686F77203F
...

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