Quelle  Pattern_Aliases.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F4C6962726172792F50617474
65726E5F416C69617365732E7468790A
20202020417574686F723A2020202020
4C61727320487570656C2C204F6E6472
656A204B756E6361722C20546F626961
73204E69706B6F770A2A290A0A736563
74696F6E205C3C6F70656E3E496E7075
742073796E74617820666F7220706174
7465726E20616C696173657320286F72
20606061732D7061747465726E732727
20696E204861736B656C6C295C3C636C
6F73653E0A0A7468656F727920506174
7465726E5F416C69617365730A696D70
6F727473204D61696E0A626567696E0A
0A74657874205C3C6F70656E3E0A2020
4D6F73742066756E6374696F6E616C20
6C616E67756167657320284861736B65
6C6C2C204D4C2C205363616C61292073
7570706F727420616C69617365732069
6E207061747465726E732E2054686973
20616C6C6F777320746F207265666572
0A2020746F2061207375627061747465
726E2077697468206120766172696162
6C65206E616D652E2054686973207468
656F727920696D706C656D656E747320
74686973207573696E67206120636865
636B2070686173652E20497420776F72
6B730A202077656C6C20666F72206675
6E6374696F6E20646566696E6974696F
6E732028736565207573616765206265
6C6F77292E20416C6C20666561747572
657320617265207061636B656420696E
746F206120407B636F6D6D616E642062
756E646C657D2E0A0A20205468652066
6F6C6C6F77696E672063617665617473
2073686F756C64206265206B65707420
696E206D696E643A0A20205C3C5E6974
656D3E20546865207472616E736C6174
696F6E20657870656374732061207465
726D206F662074686520666F726D205C
3C5E70726F703E5C3C6F70656E3E6620
782079203D207268735C3C636C6F7365
3E2C207768657265205C3C6F70656E3E
785C3C636C6F73653E20616E64205C3C
6F70656E3E795C3C636C6F73653E2061
7265207061747465726E730A20202020
74686174206D617920636F6E7461696E
20616C69617365732E20546865207265
73756C74206F6620746865207472616E
736C6174696F6E2069732061206E6573
746564205C3C5E636F6E73743E5C3C6F
70656E3E4C65745C3C636C6F73653E2D
65787072657373696F6E206F6E0A2020
20207468652072696768742068616E64
20736964652E2054686520636F646520
67656E657261746F72205C3C5E656D70
683E5C3C6F70656E3E646F6573206E6F
745C3C636C6F73653E207072696E7420
49736162656C6C65207061747465726E
20616C696173657320746F2074617267
65740A202020206C616E677561676520
7061747465726E20616C69617365732E
0A20205C3C5E6974656D3E2054686520
7472616E736C6174696F6E20646F6573
206E6F742070726F63657373206E6573
74656420657175616C69746965733B20
6F6E6C792074686520746F702D6C6576
656C20657175616C6974792069732074
72616E736C617465642E0A20205C3C5E
6974656D3E205465726D732074686174
20646F206E6F74206164686572652074
6F207468652061626F76652073686170
65206D61792065697468657220737461
7920756E7472616E736C61746564206F
722070726F6475636520616E20657272
6F720A202020206D6573736167652E20
54686520407B636F6D6D616E64206675
6E7D20636F6D6D616E642077696C6C20
636F6D706C61696E2069662070617474
65726E20616C69617365732061726520
6C65667420756E7472616E736C617465
642E0A20202020496E20706172746963
756C61722C2074686572652061726520
6E6F20636865636B7320776865746865
7220746865207061747465726E732061
72652077656C6C666F726D6564206F72
206C696E6561722E0A20205C3C5E6974
656D3E2054686520636F72726573706F
6E64696E6720756E636865636B207068
61736520617474656D70747320746F20
7265766572736520746865207472616E
736C6174696F6E20286E6F2067756172
616E746565292E205468650A20202020
6164646974696F6E616C6C7920696E74
726F6475636564207661726961626C65
732061726520626F756E64207573696E
67206120606066616B65207175616E74
69666965722727207468617420646F65
73206E6F740A20202020617070656172
20696E20746865206F75747075742E0A
20205C3C5E6974656D3E20546F206F62
7461696E20726561736F6E61626C6520
696E64756374696F6E207072696E6369
706C657320696E2066756E6374696F6E
20646566696E6974696F6E732C207468
652062756E646C6520616C736F206465
636C617265730A202020206120637573
746F6D20636F6E677275656E63652072
756C6520666F72205C3C5E636F6E7374
3E5C3C6F70656E3E4C65745C3C636C6F
73653E2074686174206F6E6C79206166
666563747320407B636F6D6D616E6420
66756E7D2E205468697320636F6E6772
75656E63650A2020202072756C65206D
69676874206C65616420746F20616E20
6578706C6F73696F6E20696E20746572
6D2073697A652028616C74686F756768
20746861742069732072617265292120
496E20736F6D652063697263756D7374
616E6365730A20202020287573696E67
205C3C6F70656E3E6C65745C3C636C6F
73653E20746F20646573747275637475
7265207475706C6573292C2074686520
696E7465726E616C20636F6E73747275
6374696F6E206F662066756E6374696F
6E73207374756D626C6573206F766572
20746869730A2020202072756C652061
6E64207072696E747320616E20657272
6F722E20546F206D6974696761746520
746869732C206569746865720A202020
205C3C5E6974656D3E20616374697661
7465207468652062756E646C65206C6F
63616C6C7920285C3C5E7468656F7279
5F746578743E5C3C6F70656E3E636F6E
7465787420696E636C75646573202E2E
2E20626567696E5C3C636C6F73653E29
206F720A202020205C3C5E6974656D3E
207265777269746520746865205C3C6F
70656E3E6C65745C3C636C6F73653E2D
65787072657373696F6E20746F207573
65205C3C6F70656E3E636173655C3C63
6C6F73653E3A205C3C5E7465726D3E5C
3C6F70656E3E6C65742028612C206229
203D207820696E2028622C2061295C3C
636C6F73653E206265636F6D65730A20
20202020205C3C5E7465726D3E5C3C6F
70656E3E636173652078206F66202861
2C206229205C3C52696768746172726F
773E2028622C2061295C3C636C6F7365
3E2E0A20205C3C5E6974656D3E205468
652062756E646C6520616C736F206164
64732074686520407B74686D204C6574
5F6465667D2072756C6520746F207468
652073696D707365742E0A5C3C636C6F
73653E0A0A0A73756273656374696F6E
205C3C6F70656E3E446566696E697469
6F6E5C3C636C6F73653E0A0A636F6E73
74730A20206173203A3A20222761205C
3C52696768746172726F773E20276120
5C3C52696768746172726F773E202761
220A202066616B655F7175616E74203A
3A2022282761205C3C52696768746172
726F773E2070726F7029205C3C526967
68746172726F773E2070726F70220A0A
6C656D6D61206C65745F636F6E675F75
6E666F6C64696E673A20224D203D204E
205C3C4C6F6E6772696768746172726F
773E2066204E203D2067204E205C3C4C
6F6E6772696768746172726F773E204C
6574204D2066203D204C6574204E2067
220A62792073696D700A0A7472616E73
6C6174696F6E7320225022203C3D2022
434F4E53542066616B655F7175616E74
20285C3C6C616D6264613E782E205029
220A0A4D4C5C3C6F70656E3E0A6C6F63
616C0A0A66756E206C65745F74797020
612062203D2061202D2D3E202861202D
2D3E206229202D2D3E20620A66756E20
61735F7479702061203D2061202D2D3E
2061202D2D3E20610A0A66756E207374
7269705F616C6C2074203D0A20206361
736520747279204C6F6769632E646573
745F616C6C5F676C6F62616C2074206F
660A202020204E4F4E45203D3E20285B
5D2C2074290A20207C20534F4D452028
7661722C207429203D3E206170667374
2028636F6E7320766172292028737472
69705F616C6C2074290A0A66756E2061
6C6C5F46726565732074203D0A202066
6F6C645F617465726D732028666E2046
7265652028782C207429203D3E20696E
7365727420286F70203D292028782C20
7429207C205F203D3E2049292074205B
5D0A0A66756E2073756273745F6F6E63
6520286F6C642C206E6577292074203D
0A20206C65740A2020202066756E2067
6F2074203D0A20202020202069662074
203D206F6C64207468656E0A20202020
20202020286E65772C2074727565290A
202020202020656C73650A2020202020
202020636173652074206F660A202020
202020202020207520242076203D3E0A
2020202020202020202020206C65740A
20202020202020202020202020207661
6C202875272C20737562737469747574
656429203D20676F20750A2020202020
20202020202020696E0A202020202020
20202020202020206966207375627374
697475746564207468656E0A20202020
20202020202020202020202028752720
2420762C2074727565290A2020202020
202020202020202020656C73650A2020
20202020202020202020202020206361
736520676F2076206F66202876272C20
737562737469747574656429203D3E20
287520242076272C2073756273746974
75746564290A20202020202020202020
2020656E640A20202020202020207C20
41627320286E616D652C207479702C20
7429203D3E0A20202020202020202020
2020286361736520676F2074206F6620
2874272C207375627374697475746564
29203D3E202841627320286E616D652C
207479702C207427292C207375627374
69747574656429290A20202020202020
207C205F203D3E2028742C2066616C73
65290A2020696E206673742028676F20
742920656E640A0A282A206164617074
65642066726F6D206C6F6769632E4D4C
202A290A66756E2066616B655F636F6E
73742054203D20436F6E737420285C3C
5E636F6E73745F6E616D653E5C3C6F70
656E3E66616B655F7175616E745C3C63
6C6F73653E2C202854202D2D3E207072
6F705429202D2D3E2070726F7054293B
0A0A66756E20646570656E64656E745F
66616B655F6E616D6520762074203D0A
20206C65740A2020202076616C207820
3D205465726D2E7465726D5F6E616D65
20760A2020202076616C2054203D2054
65726D2E666173747970655F6F662076
0A2020202076616C207427203D205465
726D2E61627374726163745F6F766572
2028762C2074290A2020696E20696620
5465726D2E69735F646570656E64656E
74207427207468656E2066616B655F63
6F6E737420542024204162732028782C
20542C2074272920656C736520742065
6E640A0A696E0A0A66756E2063686563
6B5F7061747465726E5F73796E746178
2074203D0A2020636173652073747269
705F616C6C2074206F660A2020202028
766172732C205C3C5E436F6E73743E5C
3C6F70656E3E5472756570726F705C3C
636C6F73653E20242028436F6E737420
...

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