Quelle  Trans_Closure.thy   Sprache: unbekannt

205C3C696E3E20525C3C5E7375703E2A
22207573696E6720413320627920286D
65746973207472616E7369746976655F
636C6F737572655F7472616E73283629
290A2020686176652046333A20225C3C
6578697374733E782E2028622C207820
622063205229205C3C696E3E2052205C
3C6F723E2063203D206222207573696E
6720413420627920286D657469732063
6F6E76657273655F727472616E636C45
290A202068617665202263205C3C6E6F
7465713E206222207573696E67204631
206279206D657469730A202068656E63
6520225C3C6578697374733E752E2028
622C207529205C3C696E3E2052222075
73696E67204633206279206D65746973
0A20207468757320225C3C6578697374
733E632E2028622C206329205C3C696E
3E2052205C3C616E643E2028612C2063
29205C3C696E3E20525C3C5E7375703E
2A22207573696E67204632206279206D
657469730A7165640A0A6C656D6D6120
225C3C6C6272616B6B3E662063203D20
496E746720783B205C3C666F72616C6C
3E792E20662062203D20496E74672079
205C3C6C6F6E6772696768746172726F
773E2079205C3C6E6F7465713E20783B
2028612C206229205C3C696E3E20525C
3C5E7375703E2A3B2028622C6329205C
3C696E3E20525C3C5E7375703E2A5C3C
726272616B6B3E0A202020202020205C
3C4C6F6E6772696768746172726F773E
205C3C6578697374733E632E2028622C
206329205C3C696E3E2052205C3C616E
643E2028612C206329205C3C696E3E20
525C3C5E7375703E2A220A282A20736C
6564676568616D6D6572205B69736172
5F70726F6F66732C20636F6D70726573
73203D20325D202A290A70726F6F6620
2D0A2020617373756D652041313A2022
662063203D20496E74672078220A2020
617373756D652041323A20225C3C666F
72616C6C3E792E20662062203D20496E
74672079205C3C6C6F6E677269676874
6172726F773E2079205C3C6E6F746571
3E2078220A2020617373756D65204133
3A202228612C206229205C3C696E3E20
525C3C5E7375703E2A220A2020617373
756D652041343A202228622C20632920
5C3C696E3E20525C3C5E7375703E2A22
0A202068617665202262205C3C6E6F74
65713E206322207573696E6720413120
4132206279206D657469730A20206865
6E636520225C3C6578697374733E785C
3C5E7375623E312E2028622C20785C3C
5E7375623E3129205C3C696E3E205222
207573696E6720413420627920286D65
74697320636F6E76657273655F727472
616E636C45290A20207468757320225C
3C6578697374733E632E2028622C2063
29205C3C696E3E2052205C3C616E643E
2028612C206329205C3C696E3E20525C
3C5E7375703E2A22207573696E672041
3320627920286D65746973207472616E
7369746976655F636C6F737572655F74
72616E73283629290A7165640A0A6C65
6D6D6120225C3C6C6272616B6B3E6620
63203D20496E746720783B205C3C666F
72616C6C3E792E20662062203D20496E
74672079205C3C6C6F6E677269676874
6172726F773E2079205C3C6E6F746571
3E20783B2028612C206229205C3C696E
3E20525C3C5E7375703E2A3B2028622C
206329205C3C696E3E20525C3C5E7375
703E2A5C3C726272616B6B3E0A202020
202020205C3C4C6F6E67726967687461
72726F773E205C3C6578697374733E63
2E2028622C206329205C3C696E3E2052
205C3C616E643E2028612C206329205C
3C696E3E20525C3C5E7375703E2A220A
6170706C7920286572756C655F746163
2078203D206220696E20636F6E766572
73655F727472616E636C45290A206170
706C79206D657469730A627920286D65
746973207472616E7369746976655F63
6C6F737572655F7472616E7328362929
0A0A656E640A00000000000000000000
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
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
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
000000
...

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