Quelle  AOT_syntax.thy   Sprache: unbekannt

282A3C2A290A7468656F727920414F54
5F73796E7461780A2020696D706F7274
7320414F545F636F6D6D616E64730A20
206B6579776F7264732022414F545F72
656769737465725F7661726961626C65
5F6E616D657322203A3A207468795F64
65636C0A20202020202020616E642022
414F545F72656769737465725F6D6574
617661726961626C655F6E616D657322
203A3A207468795F6465636C0A202020
20202020616E642022414F545F726567
69737465725F7072656D6973655F7365
745F6E616D657322203A3A207468795F
6465636C0A20202020202020616E6420
22414F545F72656769737465725F7479
70655F636F6E73747261696E74732220
3A3A207468795F6465636C0A20202020
2061626272657673202261637475616C
6C7922203D20225C3C5E626F6C643E5C
3C413E220A202020202020202020616E
6420226E6563636573736172696C7922
203D20225C3C626F783E220A20202020
2020202020616E642022706F73736962
6C7922203D20225C3C6469616D6F6E64
3E220A202020202020202020616E6420
2274686522203D20225C3C5E626F6C64
3E5C3C696F74613E220A202020202020
202020616E6420226C616D6264612220
3D20225B5C3C6C616D6264613E075D22
0A202020202020202020616E64202262
65696E67207375636820746861742220
3D20225B5C3C6C616D6264613E20075D
220A202020202020202020616E642022
666F72616C6C22203D20225C3C666F72
616C6C3E220A20202020202020202061
6E64202265786973747322203D20225C
3C6578697374733E220A202020202020
202020616E6420226571756976616C65
6E7422203D20225C3C65717569763E22
0A202020202020202020616E6420226E
6F7422203D20225C3C6E6F743E220A20
2020202020202020616E642022696D70
6C69657322203D20225C3C7269676874
6172726F773E220A2020202020202020
20616E642022657175616C22203D2022
3D220A202020202020202020616E6420
22627920646566696E6974696F6E2220
3D20225C3C5E7375623E645C3C5E7375
623E66220A202020202020202020616E
642022646622203D20225C3C5E737562
3E645C3C5E7375623E66220A20202020
2020202020616E64202264656E6F7465
7322203D20225C3C646F776E3E220A62
6567696E0A282A3E2A290A0A73656374
696F6E5C3C6F70656E3E417070726F78
696D6174696F6E206F66207468652053
796E746178206F6620504C4D5C3C636C
6F73653E0A0A6C6F63616C6520414F54
5F6D6574615F73796E7461780A626567
696E0A6E6F746174696F6E20414F545F
6D6F64656C5F76616C69645F696E2028
5C3C6F70656E3E5C3C5E626F6C643E5B
5F205C3C5E626F6C643E5C3C5475726E
7374696C653E205F5C3C5E626F6C643E
5D5C3C636C6F73653E290A6E6F746174
696F6E20414F545F6D6F64656C5F6178
696F6D20285C3C6F70656E3E5C3C5E62
6F6C643E5C3C626F783E5C3C5E626F6C
643E5B5F5C3C5E626F6C643E5D5C3C63
6C6F73653E290A6E6F746174696F6E20
414F545F6D6F64656C5F6163745F6178
696F6D20285C3C6F70656E3E5C3C5E62
6F6C643E5C3C413E5C3C5E626F6C643E
5B5F5C3C5E626F6C643E5D5C3C636C6F
73653E290A656E640A6C6F63616C6520
414F545F6E6F5F6D6574615F73796E74
61780A626567696E0A6E6F5F6E6F7461
74696F6E20414F545F6D6F64656C5F76
616C69645F696E20285C3C6F70656E3E
5C3C5E626F6C643E5B5F205C3C5E626F
6C643E5C3C5475726E7374696C653E20
5F5C3C5E626F6C643E5D5C3C636C6F73
653E290A6E6F5F6E6F746174696F6E20
414F545F6D6F64656C5F6178696F6D20
285C3C6F70656E3E5C3C5E626F6C643E
5C3C626F783E5C3C5E626F6C643E5B5F
5C3C5E626F6C643E5D5C3C636C6F7365
3E290A6E6F5F6E6F746174696F6E2041
4F545F6D6F64656C5F6163745F617869
6F6D20285C3C6F70656E3E5C3C5E626F
6C643E5C3C413E5C3C5E626F6C643E5B
5F5C3C5E626F6C643E5D5C3C636C6F73
653E290A656E640A0A636F6E73747320
414F545F64656E6F746573203A3A205C
3C6F70656E3E27613A3A414F545F5465
726D205C3C52696768746172726F773E
205C3C6F3E5C3C636C6F73653E0A2020
2020202020414F545F696D70203A3A20
5C3C6F70656E3E5B5C3C6F3E2C205C3C
6F3E5D205C3C52696768746172726F77
3E205C3C6F3E5C3C636C6F73653E0A20
202020202020414F545F6E6F74203A3A
205C3C6F70656E3E5C3C6F3E205C3C52
696768746172726F773E205C3C6F3E5C
3C636C6F73653E0A2020202020202041
4F545F626F78203A3A205C3C6F70656E
3E5C3C6F3E205C3C5269676874617272
6F773E205C3C6F3E5C3C636C6F73653E
0A20202020202020414F545F61637420
3A3A205C3C6F70656E3E5C3C6F3E205C
3C52696768746172726F773E205C3C6F
3E5C3C636C6F73653E0A202020202020
20414F545F666F72616C6C203A3A205C
3C6F70656E3E2827613A3A414F545F54
65726D205C3C52696768746172726F77
3E205C3C6F3E29205C3C526967687461
72726F773E205C3C6F3E5C3C636C6F73
653E0A20202020202020414F545F6571
203A3A205C3C6F70656E3E27613A3A41
4F545F5465726D205C3C526967687461
72726F773E2027613A3A414F545F5465
726D205C3C52696768746172726F773E
205C3C6F3E5C3C636C6F73653E0A2020
2020202020414F545F64657363203A3A
205C3C6F70656E3E2827613A3A414F54
5F556E617279496E646976696475616C
5465726D205C3C52696768746172726F
773E205C3C6F3E29205C3C5269676874
6172726F773E2027615C3C636C6F7365
3E0A20202020202020414F545F657865
203A3A205C3C6F70656E3E3C27613A3A
414F545F496E646976696475616C5465
726D3E205C3C52696768746172726F77
3E202761205C3C52696768746172726F
773E205C3C6F3E5C3C636C6F73653E0A
20202020202020414F545F6C616D6264
61203A3A205C3C6F70656E3E2827613A
3A414F545F496E646976696475616C54
65726D205C3C52696768746172726F77
3E205C3C6F3E29205C3C526967687461
72726F773E203C27613E5C3C636C6F73
653E0A20202020202020414F545F6C61
6D62646130203A3A205C3C6F70656E3E
5C3C6F3E205C3C52696768746172726F
773E205C3C6F3E5C3C636C6F73653E0A
20202020202020414F545F636F6E6372
657465203A3A205C3C6F70656E3E3C27
613A3A414F545F556E617279496E6469
76696475616C5465726D3E20414F545F
7661725C3C636C6F73653E0A0A6E6F6E
7465726D696E616C205C3C6B61707061
3E5C3C5E7375623E7320616E64205C3C
50693E20616E64205C3C50693E302061
6E64205C3C616C7068613E20616E6420
6578655F61726720616E64206578655F
617267730A2020202020202020616E64
206C616D6264615F6172677320616E64
206465736320616E6420667265655F76
617220616E6420667265655F76617273
0A2020202020202020616E6420414F54
5F70726F707320616E6420414F545F70
72656D6973657320616E6420414F545F
776F726C645F72656C61746976655F70
726F700A0A73796E74617820225F414F
545F70726F636573735F667265657322
203A3A205C3C6F70656E3E5C3C706869
3E205C3C52696768746172726F773E20
5C3C7068693E275C3C636C6F73653E20
285C3C6F70656E3E5F5C3C636C6F7365
3E290A20202020202020225F414F545F
766572626174696D22203A3A205C3C6F
70656E3E616E79205C3C526967687461
72726F773E205C3C7068693E5C3C636C
6F73653E20285C3C6F70656E3E5C3C67
75696C6C656D6F746C6566743E5F5C3C
6775696C6C656D6F7472696768743E5C
3C636C6F73653E290A20202020202020
225F414F545F766572626174696D2220
3A3A205C3C6F70656E3E616E79205C3C
52696768746172726F773E205C3C7461
753E5C3C636C6F73653E20285C3C6F70
656E3E5C3C6775696C6C656D6F746C65
66743E5F5C3C6775696C6C656D6F7472
696768743E5C3C636C6F73653E290A20
202020202020225F414F545F71756F74
656422203A3A205C3C6F70656E3E5C3C
7068693E27205C3C5269676874617272
6F773E20616E795C3C636C6F73653E20
285C3C6F70656E3E5C3C6775696C6C65
6D6F746C6566743E5F5C3C6775696C6C
656D6F7472696768743E5C3C636C6F73
653E290A20202020202020225F414F54
5F71756F74656422203A3A205C3C6F70
656E3E5C3C7461753E27205C3C526967
68746172726F773E20616E795C3C636C
6F73653E20285C3C6F70656E3E5C3C67
75696C6C656D6F746C6566743E5F5C3C
6775696C6C656D6F7472696768743E5C
3C636C6F73653E290A20202020202020
2222203A3A205C3C6F70656E3E5C3C70
68693E205C3C52696768746172726F77
3E205C3C7068693E5C3C636C6F73653E
20285C3C6F70656E3E27285F27295C3C
636C6F73653E290A2020202020202022
5F414F545F70726F636573735F667265
657322203A3A205C3C6F70656E3E5C3C
7461753E205C3C52696768746172726F
773E205C3C7461753E275C3C636C6F73
653E20285C3C6F70656E3E5F5C3C636C
6F73653E290A20202020202020222220
3A3A205C3C6F70656E3E5C3C6B617070
613E5C3C5E7375623E73205C3C526967
68746172726F773E205C3C7461753E5C
3C636C6F73653E20285C3C6F70656E3E
5F5C3C636C6F73653E290A2020202020
20202222203A3A205C3C6F70656E3E5C
3C50693E205C3C52696768746172726F
773E205C3C7461753E5C3C636C6F7365
3E20285C3C6F70656E3E5F5C3C636C6F
73653E290A202020202020202222203A
3A205C3C6F70656E3E5C3C7068693E20
5C3C52696768746172726F773E205C3C
7461753E5C3C636C6F73653E20285C3C
6F70656E3E27285F27295C3C636C6F73
653E290A20202020202020225F414F54
5F7465726D5F76617222203A3A205C3C
6F70656E3E69645F706F736974696F6E
205C3C52696768746172726F773E205C
3C7461753E5C3C636C6F73653E20285C
3C6F70656E3E5F5C3C636C6F73653E29
0A20202020202020225F414F545F7465
726D5F76617222203A3A205C3C6F7065
6E3E69645F706F736974696F6E205C3C
52696768746172726F773E205C3C7068
693E5C3C636C6F73653E20285C3C6F70
656E3E5F5C3C636C6F73653E290A2020
2020202020225F414F545F6578655F76
61727322203A3A205C3C6F70656E3E69
645F706F736974696F6E205C3C526967
68746172726F773E206578655F617267
5C3C636C6F73653E20285C3C6F70656E
3E5F5C3C636C6F73653E290A20202020
202020225F414F545F6C616D6264615F
7661727322203A3A205C3C6F70656E3E
69645F706F736974696F6E205C3C5269
6768746172726F773E206C616D626461
5F617267735C3C636C6F73653E20285C
3C6F70656E3E5F5C3C636C6F73653E29
0A20202020202020225F414F545F7661
7222203A3A205C3C6F70656E3E69645F
706F736974696F6E205C3C5269676874
6172726F773E205C3C616C7068613E5C
3C636C6F73653E20285C3C6F70656E3E
5F5C3C636C6F73653E290A2020202020
2020225F414F545F7661727322203A3A
205C3C6F70656E3E69645F706F736974
...

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