Quelle  AxExample.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F42616C692F41784578616D70
6C652E7468790A20202020417574686F
723A2020202020446176696420766F6E
204F6865696D620A2A290A0A73756273
656374696F6E205C3C6F70656E3E4578
616D706C65206F6620612070726F6F66
206261736564206F6E20746865204261
6C69206178696F6D617469632073656D
616E746963735C3C636C6F73653E0A0A
7468656F72792041784578616D706C65
0A696D706F72747320417853656D2045
78616D706C650A626567696E0A0A6465
66696E6974696F6E0A20206172725F69
6E76203A3A20227374205C3C52696768
746172726F773E20626F6F6C22207768
6572650A20226172725F696E76203D20
285C3C6C616D6264613E732E205C3C65
78697374733E6F626A2061205420656C
2E20676C6F6273207320285374617420
4261736529203D20536F6D65206F626A
205C3C616E643E0A2020202020202020
20202020202020202020202020202020
20202020202076616C756573206F626A
2028496E6C20286172722C2042617365
2929203D20536F6D6520284164647220
6129205C3C616E643E0A202020202020
20202020202020202020202020202020
20202020202020206865617020732061
203D20536F6D65205C3C6C706172723E
7461673D417272205420322C76616C75
65733D656C5C3C72706172723E29220A
0A6C656D6D61206172725F696E765F6E
65775F6F626A3A200A225C3C416E643E
612E205C3C6C6272616B6B3E6172725F
696E7620733B206E65775F4164647220
28686561702073293D536F6D6520615C
3C726272616B6B3E205C3C4C6F6E6772
696768746172726F773E206172725F69
6E7620286775706428496E6C20615C3C
6D617073746F3E7829207329220A6170
706C792028756E666F6C64206172725F
696E765F646566290A6170706C792028
666F7263652064657374213A206E6577
5F416464724432290A646F6E650A0A6C
656D6D61206172725F696E765F736574
5F6C6F63616C73205B73696D705D3A20
226172725F696E7620287365745F6C6F
63616C73206C207329203D206172725F
696E762073220A6170706C792028756E
666F6C64206172725F696E765F646566
290A6170706C79202873696D7020286E
6F5F61736D29290A646F6E650A0A6C65
6D6D61206172725F696E765F67757064
5F53746174205B73696D705D3A200A20
202242617365205C3C6E6F7465713E20
43205C3C4C6F6E677269676874617272
6F773E206172725F696E762028677570
64285374617420435C3C6D617073746F
3E6F626A29207329203D206172725F69
6E762073220A6170706C792028756E66
6F6C64206172725F696E765F64656629
0A6170706C79202873696D7020286E6F
5F61736D5F73696D7029290A646F6E65
0A0A6C656D6D612061785F696E765F6C
757064205B73696D705D3A2022617272
5F696E7620286C75706428785C3C6D61
7073746F3E7929207329203D20617272
5F696E762073220A6170706C79202875
6E666F6C64206172725F696E765F6465
66290A6170706C79202873696D702028
6E6F5F61736D29290A646F6E650A0A0A
6465636C6172652069665F73706C6974
5F61736D205B73706C69742064656C5D
0A6465636C617265206C7661725F6465
66205B73696D705D0A0A4D4C205C3C6F
70656E3E0A66756E20696E7374315F74
61632063747874207320742078732073
74203D0A2020286361736520414C6973
742E6C6F6F6B757020286F70203D2920
2872657620285465726D2E6164645F76
61725F6E616D6573202854686D2E7072
6F705F6F6620737429205B5D29292073
206F660A20202020534F4D452069203D
3E205052494D4954495645202852756C
655F496E7374732E726561645F696E73
74616E74696174652063747874205B28
2828732C2069292C20506F736974696F
6E2E6E6F6E65292C2074295D20787329
2073740A20207C204E4F4E45203D3E20
5365712E656D707479293B0A0A66756E
2061785F7461632063747874203D0A20
20524550454154206F207265736F6C76
655F7461632063747874205B616C6C49
5D205448454E270A20207265736F6C76
655F74616320637478740A2020202040
7B74686D732061785F536B6970206178
5F537461745265662061785F4D657468
644E2061785F416C6C6F632061785F41
6C6C6F635F4172722061785F5358416C
6C6F635F4E6F726D616C2061785F6465
726976732E696E74726F7328382D297D
3B0A5C3C636C6F73653E0A0A0A746865
6F72656D2061785F746573743A202274
7072672C287B7D3A3A27612074726970
6C6520736574295C3C7475726E737469
6C653E200A20207B4E6F726D616C2028
5C3C6C616D6264613E592073205A3A3A
27612E20686561705F6672656520666F
75722073205C3C616E643E205C3C6E6F
743E696E69746420426173652073205C
3C616E643E205C3C6E6F743E20696E69
7464204578742073297D200A20202E74
657374205B436C61737320426173655D
2E200A20207B5C3C6C616D6264613E59
2073205A2E206162727570742073203D
20536F6D652028586370742028537464
20496E644F7574426F756E6429297D22
0A6170706C792028756E666F6C642074
6573745F646566206172725F76696577
65645F66726F6D5F646566290A617070
6C792028746163746963202261785F74
6163205C3C5E636F6E746578743E2031
2220282A3B3B2A29290A646566657220
282A20576520626567696E2077697468
20746865206C61737420617373657274
696F6E2C20746F2073796E7468657369
73652074686520696E7465726D656469
6174650A202020202020202020617373
657274696F6E732C206C696B6520696E
207468652066617368696F6E206F6620
746865207765616B6573740A20202020
2020202020707265636F6E646974696F
6E2E202A290A6170706C792020287461
63746963202261785F746163205C3C5E
636F6E746578743E20312220282A2054
7279202A29290A64656665720A617070
6C792020202028746163746963205C3C
6F70656E3E696E7374315F746163205C
3C5E636F6E746578743E20225122200A
20202020202020202020202020202020
20225C3C6C616D6264613E592073205A
2E206172725F696E762028736E642073
29205C3C616E643E20747072672C735C
3C7475726E7374696C653E6361746368
205358637074204E756C6C506F696E74
657222205B5D5C3C636C6F73653E290A
70726566657220320A6170706C792020
202073696D700A6170706C7920202028
72756C655F746163205027203D20224E
6F726D616C20285C3C6C616D6264613E
592073205A2E206172725F696E762028
736E64207329292220696E20636F6E73
657131290A70726566657220320A6170
706C7920202020636C617273696D700A
6170706C792020202872756C655F7461
63205127203D2022285C3C6C616D6264
613E592073205A2E205120592073205A
295C3C6C6566746172726F773E3D4661
6C73655C3C646F776E3E3D5C3C646961
6D6F6E64737569743E2220616E642051
203D205120666F72205120696E20636F
6E73657132290A70726566657220320A
6170706C792020202073696D700A6170
706C7920202028746163746963202261
785F746163205C3C5E636F6E74657874
3E20312220282A205768696C65202A29
290A70726566657220320A6170706C79
202020202872756C652061785F696D70
6F737369626C65205B5448454E20636F
6E736571315D2C20636C617273696D70
290A6170706C792020202872756C655F
746163205027203D20224E6F726D616C
20502220616E642050203D205020666F
72205020696E20636F6E73657131290A
70726566657220320A6170706C792020
2020636C617273696D700A6170706C79
20202028746163746963202261785F74
6163205C3C5E636F6E746578743E2031
22290A6170706C792020202874616374
6963202261785F746163205C3C5E636F
6E746578743E20312220282A20415661
72202A29290A70726566657220320A61
70706C79202020202872756C65206178
5F73756273745F56616C5F616C6C4929
0A6170706C7920202020287461637469
63205C3C6F70656E3E696E7374315F74
6163205C3C5E636F6E746578743E2022
50272220225C3C6C616D6264613E612E
204E6F726D616C2028505020615C3C6C
6566746172726F773E782922205B2250
50222C202278225D5C3C636C6F73653E
290A6170706C79202020202873696D70
2064656C3A20617661725F6465663220
7065656B5F616E645F64656632290A61
70706C79202020202874616374696320
2261785F746163205C3C5E636F6E7465
78743E203122290A6170706C79202020
28746163746963202261785F74616320
5C3C5E636F6E746578743E203122290A
202020202020282A206A75737420666F
7220636C6172696669636174696F6E3A
202A290A6170706C792020202872756C
655F746163205127203D20224E6F726D
616C20285C3C6C616D6264613E566172
3A28762C20662920752075612E206673
742028736E6420286176617220747072
672028496E7467203229207620752929
203D20536F6D65202858637074202853
746420496E644F7574426F756E642929
292220696E20636F6E73657132290A70
726566657220320A6170706C79202020
2028636C617273696D702073696D7020
6164643A2073706C69745F6265746129
0A6170706C7920202028746163746963
202261785F746163205C3C5E636F6E74
6578743E20312220282A204656617220
2A29290A6170706C7920202020287461
63746963202261785F746163205C3C5E
636F6E746578743E20322220282A2053
746174526566202A29290A6170706C79
2020202872756C652061785F64657269
76732E446F6E65205B5448454E20636F
6E736571315D290A6170706C79202020
28636C617273696D702073696D702061
64643A206172725F696E765F64656620
696E697465645F64656620696E5F626F
756E64735F646566290A64656665720A
6170706C7920202872756C652061785F
5358416C6C6F635F63617463685F5358
637074290A6170706C7920202872756C
655F746163205127203D2022285C3C6C
616D6264613E592028782C207329205A
2E2078203D20536F6D65202858637074
2028537464204E756C6C506F696E7465
722929205C3C616E643E206172725F69
6E76207329205C3C616E643E2E206865
61705F667265652074776F2220696E20
636F6E73657132290A70726566657220
320A6170706C792020202873696D7020
6164643A206172725F696E765F6E6577
5F6F626A290A6170706C792020287461
63746963202261785F746163205C3C5E
636F6E746578743E20312229200A6170
706C7920202872756C655F7461632043
203D20224578742220696E2061785F43
616C6C5F6B6E6F776E5F44796E54290A
6170706C79202020202028756E666F6C
642044796E545F70726F705F64656629
0A6170706C7920202020202873696D70
20286E6F5F61736D29290A6170706C79
2020202028696E74726F207374726970
290A6170706C79202020202872756C65
5F746163205027203D20224E6F726D61
6C20502220616E642050203D20502066
6F72205020696E20636F6E7365713129
...

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