Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Uniform_Limit.thy
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F416E616C797369732F556E69
666F726D5F4C696D69742E7468790A20
202020417574686F723A202020202043
68726973746F70682054726175742C20
5455204DFC6E6368656E0A2020202041
7574686F723A20202020204661626961
6E20496D6D6C65722C205455204DFC6E
6368656E0A2A290A0A73656374696F6E
205C3C6F70656E3E556E69666F726D20
4C696D697420616E6420556E69666F72
6D20436F6E76657267656E63655C3C63
6C6F73653E0A0A7468656F727920556E
69666F726D5F4C696D69740A696D706F
72747320436F6E6E6563746564205375
6D6D6174696F6E5F54657374730A6265
67696E0A0A0A73756273656374696F6E
205C3C6F70656E3E446566696E697469
6F6E5C3C636C6F73653E0A0A64656669
6E6974696F6E5C3C5E6D61726B65723E
5C3C6F70656E3E74616720696D706F72
74616E745C3C636C6F73653E20756E69
666F726D6C795F6F6E203A3A20222761
20736574205C3C52696768746172726F
773E20282761205C3C52696768746172
726F773E2027623A3A6D65747269635F
737061636529205C3C52696768746172
726F773E20282761205C3C5269676874
6172726F773E202762292066696C7465
72220A202077686572652022756E6966
6F726D6C795F6F6E2053206C203D2028
494E4620655C3C696E3E7B30203C2E2E
7D2E207072696E636970616C207B662E
205C3C666F72616C6C3E785C3C696E3E
532E206469737420286620782920286C
207829203C20657D29220A0A61626272
6576696174696F6E5C3C5E6D61726B65
723E5C3C6F70656E3E74616720696D70
6F7274616E745C3C636C6F73653E0A20
2022756E69666F726D5F6C696D697420
532066206C205C3C65717569763E2066
696C7465726C696D20662028756E6966
6F726D6C795F6F6E2053206C29220A0A
646566696E6974696F6E20756E69666F
726D6C795F636F6E76657267656E745F
6F6E2077686572650A202022756E6966
6F726D6C795F636F6E76657267656E74
5F6F6E20582066205C3C6C6F6E676C65
667472696768746172726F773E20285C
3C6578697374733E6C2E20756E69666F
726D5F6C696D697420582066206C2073
657175656E7469616C6C7929220A0A64
6566696E6974696F6E20756E69666F72
6D6C795F4361756368795F6F6E207768
6572650A202022756E69666F726D6C79
5F4361756368795F6F6E20582066205C
3C6C6F6E676C65667472696768746172
726F773E20285C3C666F72616C6C3E65
3E302E205C3C6578697374733E4D2E20
5C3C666F72616C6C3E785C3C696E3E58
2E205C3C666F72616C6C3E286D3A3A6E
6174295C3C67653E4D2E205C3C666F72
616C6C3E6E5C3C67653E4D2E20646973
74202866206D207829202866206E2078
29203C206529220A0A70726F706F7369
74696F6E20756E69666F726D5F6C696D
69745F6966663A0A202022756E69666F
726D5F6C696D697420532066206C2046
205C3C6C6F6E676C6566747269676874
6172726F773E20285C3C666F72616C6C
3E653E302E205C3C666F72616C6C3E5C
3C5E7375623E46206E20696E20462E20
5C3C666F72616C6C3E785C3C696E3E53
2E2064697374202866206E2078292028
6C207829203C206529220A2020756E66
6F6C64696E672066696C7465726C696D
5F69666620756E69666F726D6C795F6F
6E5F6465660A20206279202873756273
74206576656E7475616C6C795F494E46
5F62617365290A202020202866617374
666F7263650A20202020202073696D70
3A206576656E7475616C6C795F707269
6E636970616C20756E69666F726D6C79
5F6F6E5F6465660A202020202020696E
74726F3A20626578495B776865726520
783D226D696E206120622220666F7220
6120625D0A202020202020656C696D3A
206576656E7475616C6C795F6D6F6E6F
292B0A0A6C656D6D6120756E69666F72
6D5F6C696D6974443A0A202022756E69
666F726D5F6C696D697420532066206C
2046205C3C4C6F6E6772696768746172
726F773E2065203E2030205C3C4C6F6E
6772696768746172726F773E205C3C66
6F72616C6C3E5C3C5E7375623E46206E
20696E20462E205C3C666F72616C6C3E
785C3C696E3E532E2064697374202866
206E20782920286C207829203C206522
0A20206279202873696D70206164643A
20756E69666F726D5F6C696D69745F69
6666290A0A6C656D6D6120756E69666F
726D5F6C696D6974493A0A202022285C
3C416E643E652E2065203E2030205C3C
4C6F6E6772696768746172726F773E20
5C3C666F72616C6C3E5C3C5E7375623E
46206E20696E20462E205C3C666F7261
6C6C3E785C3C696E3E532E2064697374
202866206E20782920286C207829203C
206529205C3C4C6F6E67726967687461
72726F773E20756E69666F726D5F6C69
6D697420532066206C2046220A202062
79202873696D70206164643A20756E69
666F726D5F6C696D69745F696666290A
0A6C656D6D6120756E69666F726D5F6C
696D69745F73657175656E7469616C6C
795F6966663A0A202022756E69666F72
6D5F6C696D697420532066206C207365
7175656E7469616C6C79205C3C6C6F6E
676C65667472696768746172726F773E
20285C3C666F72616C6C3E653E302E20
5C3C6578697374733E4E2E205C3C666F
72616C6C3E6E5C3C67653E4E2E205C3C
666F72616C6C3E78205C3C696E3E2053
2E2064697374202866206E2078292028
6C207829203C206529220A2020756E66
6F6C64696E6720756E69666F726D5F6C
696D69745F696666206576656E747561
6C6C795F73657175656E7469616C6C79
202E2E0A0A6C656D6D6120756E69666F
726D5F6C696D69745F61745F6966663A
0A202022756E69666F726D5F6C696D69
7420532066206C20286174207829205C
3C6C6F6E676C65667472696768746172
726F773E0A20202020285C3C666F7261
6C6C3E653E302E205C3C657869737473
3E643E302E205C3C666F72616C6C3E7A
2E2030203C2064697374207A2078205C
3C616E643E2064697374207A2078203C
2064205C3C6C6F6E6772696768746172
726F773E20285C3C666F72616C6C3E78
5C3C696E3E532E206469737420286620
7A20782920286C207829203C20652929
220A2020756E666F6C64696E6720756E
69666F726D5F6C696D69745F69666620
6576656E7475616C6C795F6174206279
2073696D700A0A6C656D6D6120756E69
666F726D5F6C696D69745F61745F6C65
5F6966663A0A202022756E69666F726D
5F6C696D697420532066206C20286174
207829205C3C6C6F6E676C6566747269
6768746172726F773E0A20202020285C
3C666F72616C6C3E653E302E205C3C65
78697374733E643E302E205C3C666F72
616C6C3E7A2E2030203C206469737420
7A2078205C3C616E643E206469737420
7A2078203C2064205C3C6C6F6E677269
6768746172726F773E20285C3C666F72
616C6C3E785C3C696E3E532E20646973
74202866207A20782920286C20782920
5C3C6C653E20652929220A2020756E66
6F6C64696E6720756E69666F726D5F6C
696D69745F696666206576656E747561
6C6C795F61740A202062792028666173
74666F72636520646573743A20737065
635B77686572652078203D202265202F
20322220666F7220655D290A0A6C656D
6D61206D65747269635F756E69666F72
6D5F6C696D69745F696D705F756E6966
6F726D5F6C696D69743A0A2020617373
756D657320663A2022756E69666F726D
5F6C696D69742053206620612046220A
2020617373756D6573206C653A202265
76656E7475616C6C7920285C3C6C616D
6264613E782E205C3C666F72616C6C3E
795C3C696E3E532E2064697374202867
2078207929202862207929205C3C6C65
3E206469737420286620782079292028
61207929292046220A202073686F7773
2022756E69666F726D5F6C696D697420
53206720622046220A70726F6F662028
72756C6520756E69666F726D5F6C696D
697449290A20206669782065203A3A20
7265616C20617373756D65202230203C
2065220A202066726F6D20756E69666F
726D5F6C696D6974445B4F4620662074
6869735D206C650A202073686F772022
5C3C666F72616C6C3E5C3C5E7375623E
46207820696E20462E205C3C666F7261
6C6C3E795C3C696E3E532E2064697374
2028672078207929202862207929203C
2065220A202020206279206576656E74
75616C6C795F656C696D20666F726365
0A7165640A0A0A73756273656374696F
6E205C3C6F70656E3E45786368616E67
65206C696D6974735C3C636C6F73653E
0A0A70726F706F736974696F6E207377
61705F756E69666F726D5F6C696D6974
3A0A2020617373756D657320663A2022
5C3C666F72616C6C3E5C3C5E7375623E
46206E20696E20462E202866206E205C
3C6C6F6E676C6F6E6772696768746172
726F773E2067206E2920286174207820
77697468696E205329220A2020617373
756D657320673A20222867205C3C6C6F
6E676C6F6E6772696768746172726F77
3E206C292046220A2020617373756D65
732075633A2022756E69666F726D5F6C
696D69742053206620682046220A2020
617373756D657320225C3C6E6F743E74
72697669616C5F6C696D69742046220A
202073686F777320222868205C3C6C6F
6E676C6F6E6772696768746172726F77
3E206C29202861742078207769746869
6E205329220A70726F6F66202872756C
652074656E6473746F49290A20206669
782065203A3A207265616C0A20206465
66696E65206527207768657265202265
27203D20652F33220A2020617373756D
65202230203C2065220A20207468656E
2068617665202230203C206527222062
79202873696D70206164643A2065275F
646566290A202066726F6D20756E6966
6F726D5F6C696D6974445B4F46207563
205C3C6F70656E3E30203C2065275C3C
636C6F73653E5D0A2020686176652022
5C3C666F72616C6C3E5C3C5E7375623E
46206E20696E20462E205C3C666F7261
6C6C3E785C3C696E3E532E2064697374
202868207829202866206E207829203C
206527220A202020206279202873696D
70206164643A20646973745F636F6D6D
757465290A20206D6F72656F7665720A
202066726F6D20660A20206861766520
225C3C666F72616C6C3E5C3C5E737562
3E46206E20696E20462E205C3C666F72
616C6C3E5C3C5E7375623E4620782069
6E20617420782077697468696E20532E
2064697374202867206E29202866206E
207829203C206527220A202020206279
206576656E7475616C6C795F656C696D
20286175746F2064657374213A207465
6E6473746F445B4F46205F205C3C6F70
656E3E30203C2065275C3C636C6F7365
3E5D2073696D703A20646973745F636F
6D6D757465290A20206D6F72656F7665
720A202066726F6D2074656E6473746F
445B4F462067205C3C6F70656E3E3020
3C2065275C3C636C6F73653E5D206861
766520225C3C666F72616C6C3E5C3C5E
7375623E46207820696E20462E206469
7374206C202867207829203C20652722
0A202020206279202873696D70206164
643A20646973745F636F6D6D75746529
0A2020756C74696D6174656C790A2020
6861766520225C3C666F72616C6C3E5C
3C5E7375623E46205F20696E20462E20
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|