Quelle  Infinitely_Branching_Tree.thy   Sprache: unbekannt

706F73653A20226D61705F7472656520
6720286D61705F747265652066207429
203D206D61705F74726565202867205C
3C636972633E2066292074220A202062
792028696E647563742074292073696D
705F616C6C0A0A7072696D7265632065
78697374735F74726565203A3A202228
2761205C3C52696768746172726F773E
20626F6F6C29205C3C52696768746172
726F773E2027612074726565205C3C52
696768746172726F773E20626F6F6C22
0A202077686572650A20202020226578
697374735F747265652050202841746F
6D206129203D20502061220A20207C20
226578697374735F7472656520502028
4272616E636820747329203D20285C3C
6578697374733E782E20657869737473
5F747265652050202874732078292922
0A0A6C656D6D61206578697374735F6D
61703A0A202022285C3C416E643E782E
20502078205C3C4C6F6E677269676874
6172726F773E20512028662078292920
5C3C4C6F6E6772696768746172726F77
3E0A202020206578697374735F747265
652050207473205C3C4C6F6E67726967
68746172726F773E206578697374735F
74726565205120286D61705F74726565
206620747329220A202062792028696E
6475637420747329206175746F0A0A0A
73756273656374696F6E5C3C6F70656E
3E5468652042726F75776572206F7264
696E616C732C20617320696E205A462F
496E647563742F42726F757765722E74
68792E5C3C636C6F73653E0A0A646174
61747970652062726F75776572203D20
5A65726F207C20537563632062726F75
776572207C204C696D20226E6174205C
3C52696768746172726F773E2062726F
75776572220A0A74657874205C3C6F70
656E3E4164646974696F6E206F66206F
7264696E616C735C3C636C6F73653E0A
7072696D72656320616464203A3A2022
62726F75776572205C3C526967687461
72726F773E2062726F75776572205C3C
52696768746172726F773E2062726F75
776572220A202077686572650A202020
20226164642069205A65726F203D2069
220A20207C2022616464206920285375
6363206A29203D205375636320286164
642069206A29220A20207C2022616464
206920284C696D206629203D204C696D
20285C3C6C616D6264613E6E2E206164
642069202866206E2929220A0A6C656D
6D61206164645F6173736F633A202261
646420286164642069206A29206B203D
2061646420692028616464206A206B29
220A202062792028696E64756374206B
29206175746F0A0A74657874205C3C6F
70656E3E4D756C7469706C6963617469
6F6E206F66206F7264696E616C735C3C
636C6F73653E0A7072696D726563206D
756C74203A3A202262726F7577657220
5C3C52696768746172726F773E206272
6F75776572205C3C5269676874617272
6F773E2062726F75776572220A202077
686572650A20202020226D756C742069
205A65726F203D205A65726F220A2020
7C20226D756C74206920285375636320
6A29203D2061646420286D756C742069
206A292069220A20207C20226D756C74
206920284C696D206629203D204C696D
20285C3C6C616D6264613E6E2E206D75
6C742069202866206E2929220A0A6C65
6D6D61206164645F6D756C745F646973
747269623A20226D756C742069202861
6464206A206B29203D2061646420286D
756C742069206A2920286D756C742069
206B29220A202062792028696E647563
74206B2920286175746F2073696D7020
6164643A206164645F6173736F63290A
0A6C656D6D61206D756C745F6173736F
633A20226D756C7420286D756C742069
206A29206B203D206D756C7420692028
6D756C74206A206B29220A2020627920
28696E64756374206B2920286175746F
2073696D70206164643A206164645F6D
756C745F64697374726962290A0A7465
7874205C3C6F70656E3E576520636F75
6C642070726F6261626C7920696E7374
616E746961746520736F6D6520617869
6F6D61746963207479706520636C6173
73657320616E64207573650A20207468
65207374616E6461726420696E666978
206F70657261746F72732E5C3C636C6F
73653E0A0A0A73756273656374696F6E
205C3C6F70656E3E41205746204F7264
6572696E6720666F7220546865204272
6F75776572206F7264696E616C732028
4D69636861656C20436F6D70746F6E29
5C3C636C6F73653E0A0A74657874205C
3C6F70656E3E546F2075736520746865
2066756E6374696F6E207061636B6167
65207765206E65656420616E206F7264
6572696E67206F6E207468652042726F
757765720A20206F7264696E616C732E
20205374617274207769746820612070
72656465636573736F722072656C6174
696F6E20616E6420666F726D20697473
207472616E7369746976650A2020636C
6F737572652E5C3C636C6F73653E0A0A
646566696E6974696F6E2062726F7577
65725F70726564203A3A20222862726F
75776572205C3C74696D65733E206272
6F757765722920736574220A20207768
657265202262726F757765725F707265
64203D20285C3C556E696F6E3E692E20
7B286D2C206E292E206E203D20537563
63206D205C3C6F723E20285C3C657869
7374733E662E206E203D204C696D2066
205C3C616E643E206D203D2066206929
7D29220A0A646566696E6974696F6E20
62726F757765725F6F72646572203A3A
20222862726F75776572205C3C74696D
65733E2062726F757765722920736574
220A20207768657265202262726F7577
65725F6F72646572203D2062726F7577
65725F707265645C3C5E7375703E2B22
0A0A6C656D6D612077665F62726F7577
65725F707265643A202277662062726F
757765725F70726564220A2020756E66
6F6C64696E672077665F646566206272
6F757765725F707265645F6465660A20
206170706C7920636C61726966790A20
206170706C792028696E647563745F74
61632078290A202020206170706C7920
626C6173742B0A2020646F6E650A0A6C
656D6D612077665F62726F757765725F
6F726465725B73696D705D3A20227766
2062726F757765725F6F72646572220A
2020756E666F6C64696E672062726F75
7765725F6F726465725F6465660A2020
6279202872756C652077665F7472616E
636C5B4F462077665F62726F75776572
5F707265645D290A0A6C656D6D61205B
73696D705D3A2022286A2C2053756363
206A29205C3C696E3E2062726F757765
725F6F72646572220A20206279202861
75746F2073696D70206164643A206272
6F757765725F6F726465725F64656620
62726F757765725F707265645F646566
290A0A6C656D6D61205B73696D705D3A
20222866206E2C204C696D206629205C
3C696E3E2062726F757765725F6F7264
6572220A2020627920286175746F2073
696D70206164643A2062726F75776572
5F6F726465725F6465662062726F7577
65725F707265645F646566290A0A7465
7874205C3C6F70656E3E4578616D706C
65206F6620612067656E6572616C2066
756E6374696F6E5C3C636C6F73653E0A
66756E6374696F6E2061646432203A3A
202262726F75776572205C3C52696768
746172726F773E2062726F7577657220
5C3C52696768746172726F773E206272
6F75776572220A202077686572650A20
20202022616464322069205A65726F20
3D2069220A20207C2022616464322069
202853756363206A29203D2053756363
2028616464322069206A29220A20207C
202261646432206920284C696D206629
203D204C696D20285C3C6C616D626461
3E6E2E20616464322069202866206E29
29220A20206279207061745F636F6D70
6C6574656E657373206175746F0A7465
726D696E6174696F6E0A202062792028
72656C6174696F6E2022696E765F696D
6167652062726F757765725F6F726465
7220736E642229206175746F0A0A6C65
6D6D6120616464325F6173736F633A20
22616464322028616464322069206A29
206B203D206164643220692028616464
32206A206B29220A202062792028696E
64756374206B29206175746F0A0A656E
640A0000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
000000000000000000
...

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