Quelle  HoTT_coq_006.v   Sprache: unbekannt

6F6E2050726F70436174203A20436174
2050726F702E20636F6E737472756374
6F722E20446566696E65642E0A0A2020
446566696E6974696F6E2046756E6374
6F7246726F6D5F547970653250726F70
206F626A43202843203A20436174206F
626A4329202846203A2046756E63746F
722054797065436174204329203A2046
756E63746F722050726F704361742043
2E0A20202020536574205072696E7469
6E6720416C6C2E0A2020202053657420
5072696E74696E6720556E6976657273
65732E0A20202020436865636B20462E
20282A2046203A204046756E63746F72
205479706520282A20546F702E313230
31202A292054797065436174206F626A
432043202A290A202020206578616374
20284275696C645F46756E63746F7220
50726F70436174204320284F626A6563
744F6627204629292E0A202020205368
6F772050726F6F662E20282A20286675
6E20286F626A43203A20547970652028
2A20546F702E31313934202A29292028
43203A20436174206F626A43290A2020
202846203A204046756E63746F722050
726F702054797065436174206F626A43
204329203D3E0A20404275696C645F46
756E63746F722050726F702050726F70
436174206F626A4320430A2020202840
4F626A6563744F66272050726F702054
797065436174206F626A432043204629
29202A290A2020446566696E65642E0A
2020282A204572726F723A20496C6C65
67616C206170706C69636174696F6E20
2854797065204572726F72293A0A5468
65207465726D202246756E63746F7222
206F6620747970650A2022666F72616C
6C20286F626A43203A20547970652028
2A20546F702E31313934202A29292028
5F203A20436174206F626A43290A2020
2020286F626A44203A20547970652028
2A20546F702E31313934202A29292028
5F203A20436174206F626A44292C0A20
205479706520282A20546F702E313139
34202A29220A63616E6E6F7420626520
6170706C69656420746F207468652074
65726D730A202250726F7022203A2022
5479706520282A2028536574292B3120
2A29220A20225479706543617422203A
2022436174205479706520282A20546F
702E31323031202A29220A20226F626A
4322203A20225479706520282A20546F
702E31313934202A29220A2022432220
3A2022436174206F626A43220A546865
20326E64207465726D20686173207479
70652022436174205479706520282A20
546F702E31323031202A29220A776869
63682073686F756C6420626520636F65
726369626C6520746F20224361742050
726F70222E202A290A456E6420466972
737449737375652E0A0A4D6F64756C65
205365636F6E6449737375652E0A2020
53657420496D706C6963697420417267
756D656E74732E0A0A20205365742050
72696E74696E6720556E697665727365
732E0A0A2020506F6C796D6F72706869
63205265636F72642043617420286F62
6A203A205479706529203A3D0A202020
207B0A2020202020204F626A65637420
3A3E205F203A3D206F626A3B0A202020
2020204D6F72706869736D27203A206F
626A202D3E206F626A202D3E20547970
650A202020207D2E0A0A2020506F6C79
6D6F7270686963205265636F72642046
756E63746F72206F626A43202843203A
20436174206F626A4329206F626A4420
2844203A20436174206F626A4429203A
3D0A202020207B0A2020202020204F62
6A6563744F6627203A206F626A43202D
3E206F626A443B0A2020202020204D6F
72706869736D4F6627203A20666F7261
6C6C207320642C20432E284D6F727068
69736D272920732064202D3E20442E28
4D6F72706869736D272920284F626A65
63744F662720732920284F626A656374
4F66272064290A202020207D2E0A0A20
20446566696E6974696F6E2053657443
6174203A2043617420536574203A3D20
404275696C645F436174205365742028
66756E20782079203D3E2078202D3E20
79292E0A2020446566696E6974696F6E
2050726F70436174203A204361742050
726F70203A3D20404275696C645F4361
742050726F70202866756E2078207920
3D3E2078202D3E2079292E0A0A202053
6574205072696E74696E6720416C6C2E
0A0A2020446566696E6974696F6E2046
756E63746F7246726F6D5F5365743250
726F70206F626A43202843203A204361
74206F626A4329202846203A2046756E
63746F7220536574436174204329203A
2046756E63746F722050726F70436174
20432E0A202020206578616374202842
75696C645F46756E63746F722050726F
7043617420430A202020202020202020
20202020202020202020202020202020
284F626A6563744F66272046290A2020
20202020202020202020202020202020
20202020202020284D6F72706869736D
4F66272046290A202020202020202020
20292E0A2020446566696E65642E2028
2A204572726F723A20496C6C6567616C
206170706C69636174696F6E20285479
7065204572726F72293A0A5468652074
65726D20224275696C645F46756E6374
6F7220282A20546F702E373438205072
6F7020546F702E38303820546F702E38
3039202A2922206F6620747970650A20
22666F72616C6C20286F626A43203A20
5479706520282A20546F702E37343820
2A2929202843203A2043617420282A20
546F702E3734382050726F70202A2920
6F626A43290A20202020286F626A4420
3A205479706520282A20546F702E3830
38202A2929202844203A204361742028
2A20546F702E38303820546F702E3830
39202A29206F626A44290A2020202028
4F626A6563744F6627203A20666F7261
6C6C205F203A206F626A432C206F626A
44290A20202020285F203A20666F7261
6C6C2028732064203A206F626A432920
285F203A20404D6F72706869736D2720
282A20546F702E3734382050726F7020
2A29206F626A43204320732064292C0A
202020202020202020404D6F72706869
736D2720282A20546F702E3830382054
6F702E383039202A29206F626A442044
20284F626A6563744F66272073292028
4F626A6563744F6627206429292C0A20
204046756E63746F7220282A20546F70
2E3734382050726F7020546F702E3830
3820546F702E383039202A29206F626A
432043206F626A442044220A63616E6E
6F74206265206170706C69656420746F
20746865207465726D730A202250726F
7022203A20225479706520282A202853
6574292B31202A29220A202250726F70
43617422203A202243617420282A2054
6F702E3734382050726F70202A292050
726F70220A20226F626A4322203A2022
5479706520282A20546F702E38303820
2A29220A20224322203A202243617420
282A20546F702E38303820546F702E38
3039202A29206F626A43220A20226675
6E2078203A2050726F70203D3E0A2020
404F626A6563744F662720282A20546F
702E3734342050726F7020546F702E38
303820546F702E383039202A29205365
7420536574436174206F626A43204320
462078220A2020203A2022666F72616C
6C205F203A2050726F702C206F626A43
220A2022404D6F72706869736D4F6627
20282A20546F702E3734342050726F70
20546F702E38303820546F702E383039
202A292053657420536574436174206F
626A4320432046220A2020203A202266
6F72616C6C2028732064203A20536574
2920285F203A20404D6F72706869736D
2720282A20546F702E3734342050726F
70202A29205365742053657443617420
732064292C0A202020202020404D6F72
706869736D2720282A20546F702E3830
3820546F702E383039202A29206F626A
4320430A202020202020202028404F62
6A6563744F662720282A20546F702E37
34342050726F7020546F702E38303820
546F702E383039202A29205365742053
6574436174206F626A43204320462073
290A202020202020202028404F626A65
63744F662720282A20546F702E373434
2050726F7020546F702E38303820546F
702E383039202A292053657420536574
436174206F626A432043204620642922
0A54686520367468207465726D206861
7320747970650A2022666F72616C6C20
28732064203A205365742920285F203A
20404D6F72706869736D2720282A2054
6F702E3734342050726F70202A292053
65742053657443617420732064292C0A
2020404D6F72706869736D2720282A20
546F702E38303820546F702E38303920
2A29206F626A4320430A202020202840
4F626A6563744F662720282A20546F70
2E3734342050726F7020546F702E3830
3820546F702E383039202A2920536574
20536574436174206F626A4320432046
2073290A2020202028404F626A656374
4F662720282A20546F702E3734342050
726F7020546F702E38303820546F702E
383039202A2920536574205365744361
74206F626A4320432046206429220A77
686963682073686F756C642062652063
6F65726369626C6520746F0A2022666F
72616C6C2028732064203A2050726F70
2920285F203A20404D6F72706869736D
2720282A20546F702E3734382050726F
70202A292050726F702050726F704361
7420732064292C0A2020404D6F727068
69736D2720282A20546F702E38303820
546F702E383039202A29206F626A4320
430A20202020282866756E2078203A20
50726F70203D3E0A202020202020404F
626A6563744F662720282A20546F702E
3734342050726F7020546F702E383038
20546F702E383039202A292053657420
536574436174206F626A432043204620
78292073290A20202020282866756E20
78203A2050726F70203D3E0A20202020
2020404F626A6563744F662720282A20
546F702E3734342050726F7020546F70
2E38303820546F702E383039202A2920
53657420536574436174206F626A4320
432046207829206429222E0A20202020
20202020202020202A290A456E642053
65636F6E6449737375652E0A00000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
000000000000
...

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