Quelle  Binary_Product_Measure.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F416E616C797369732F42696E
6172795F50726F647563745F4D656173
7572652E7468790A2020202041757468
6F723A20202020204A6F68616E6E6573
2048C3B66C7A6C2C205455204DC3BC6E
6368656E0A2A290A0A73656374696F6E
205C3C6F70656E3E42696E6172792050
726F64756374204D6561737572655C3C
636C6F73653E0A0A7468656F72792042
696E6172795F50726F647563745F4D65
61737572650A696D706F727473204E6F
6E6E656761746976655F4C6562657367
75655F496E746567726174696F6E0A62
6567696E0A0A6C656D6D612050616972
5F76696D6167655F74696D65735B7369
6D705D3A2022506169722078202D6020
2841205C3C74696D65733E204229203D
202869662078205C3C696E3E20412074
68656E204220656C7365207B7D29220A
20206279206175746F0A0A6C656D6D61
207265765F506169725F76696D616765
5F74696D65735B73696D705D3A202228
5C3C6C616D6264613E782E2028782C20
792929202D60202841205C3C74696D65
733E204229203D202869662079205C3C
696E3E2042207468656E204120656C73
65207B7D29220A20206279206175746F
0A0A73756273656374696F6E20224269
6E6172792070726F6475637473220A0A
646566696E6974696F6E5C3C5E6D6172
6B65723E5C3C6F70656E3E7461672069
6D706F7274616E745C3C636C6F73653E
20706169725F6D656173757265202869
6E66697872205C3C6F70656E3E5C3C4F
74696D65733E5C3C5E7375623E4D5C3C
636C6F73653E20383029207768657265
0A20202241205C3C4F74696D65733E5C
3C5E7375623E4D2042203D206D656173
7572655F6F6620287370616365204120
5C3C74696D65733E2073706163652042
290A2020202020207B61205C3C74696D
65733E2062207C206120622E2061205C
3C696E3E20736574732041205C3C616E
643E2062205C3C696E3E207365747320
427D0A202020202020285C3C6C616D62
64613E582E205C3C696E74656772616C
3E5C3C5E7375703E2B782E20285C3C69
6E74656772616C3E5C3C5E7375703E2B
792E20696E64696361746F7220582028
782C7929205C3C7061727469616C3E42
29205C3C7061727469616C3E4129220A
0A6C656D6D6120706169725F6D656173
7572655F636C6F7365643A20227B6120
5C3C74696D65733E2062207C20612062
2E2061205C3C696E3E20736574732041
205C3C616E643E2062205C3C696E3E20
7365747320427D205C3C737562736574
65713E20506F77202873706163652041
205C3C74696D65733E20737061636520
4229220A20207573696E672073657473
2E73706163655F636C6F7365645B6F66
20415D20736574732E73706163655F63
6C6F7365645B6F6620425D2062792061
75746F0A0A6C656D6D61207370616365
5F706169725F6D6561737572653A0A20
20227370616365202841205C3C4F7469
6D65733E5C3C5E7375623E4D20422920
3D2073706163652041205C3C74696D65
733E2073706163652042220A2020756E
666F6C64696E6720706169725F6D6561
737572655F646566207573696E672070
6169725F6D6561737572655F636C6F73
65645B6F66204120425D0A2020627920
2872756C652073706163655F6D656173
7572655F6F66290A0A6C656D6D612053
49474D415F436F6C6C6563745F65713A
2022285349474D4120783A7370616365
204D2E207B795C3C696E3E7370616365
204E2E2050207820797D29203D207B78
5C3C696E3E737061636520284D205C3C
4F74696D65733E5C3C5E7375623E4D20
4E292E20502028667374207829202873
6E642078297D220A2020627920286175
746F2073696D703A2073706163655F70
6169725F6D656173757265290A0A6C65
6D6D6120736574735F706169725F6D65
61737572653A0A202022736574732028
41205C3C4F74696D65733E5C3C5E7375
623E4D204229203D207369676D615F73
657473202873706163652041205C3C74
696D65733E207370616365204229207B
61205C3C74696D65733E2062207C2061
20622E2061205C3C696E3E2073657473
2041205C3C616E643E2062205C3C696E
3E207365747320427D220A2020756E66
6F6C64696E6720706169725F6D656173
7572655F646566207573696E67207061
69725F6D6561737572655F636C6F7365
645B6F66204120425D0A202062792028
72756C6520736574735F6D6561737572
655F6F66290A0A6C656D6D6120736574
735F706169725F6D6561737572655F63
6F6E675B6D656173757261626C655F63
6F6E672C20636F6E675D3A0A20202273
657473204D31203D2073657473204D31
27205C3C4C6F6E677269676874617272
6F773E2073657473204D32203D207365
7473204D3227205C3C4C6F6E67726967
68746172726F773E207365747320284D
31205C3C4F74696D65733E5C3C5E7375
623E4D204D3229203D20736574732028
4D3127205C3C4F74696D65733E5C3C5E
7375623E4D204D322729220A2020756E
666F6C64696E6720736574735F706169
725F6D65617375726520627920287369
6D7020636F6E673A20736574735F6571
5F696D705F73706163655F6571290A0A
6C656D6D6120706169725F6D65617375
7265495B696E74726F2C2073696D702C
206D656173757261626C655D3A0A2020
2278205C3C696E3E2073657473204120
5C3C4C6F6E6772696768746172726F77
3E2079205C3C696E3E20736574732042
205C3C4C6F6E6772696768746172726F
773E2078205C3C74696D65733E207920
5C3C696E3E2073657473202841205C3C
4F74696D65733E5C3C5E7375623E4D20
4229220A2020627920286175746F2073
696D703A20736574735F706169725F6D
656173757265290A0A6C656D6D612073
6574735F506169723A20227B787D205C
3C696E3E2073657473204D31205C3C4C
6F6E6772696768746172726F773E207B
797D205C3C696E3E2073657473204D32
205C3C4C6F6E6772696768746172726F
773E207B28782C2079297D205C3C696E
3E207365747320284D31205C3C4F7469
6D65733E5C3C5E7375623E4D204D3229
220A20207573696E6720706169725F6D
656173757265495B6F6620227B787D22
204D3120227B797D22204D325D206279
2073696D700A0A6C656D6D61206D6561
73757261626C655F706169725F6D6561
73757265493A0A2020617373756D6573
20313A202266205C3C696E3E20737061
6365204D205C3C72696768746172726F
773E207370616365204D31205C3C7469
6D65733E207370616365204D32220A20
20617373756D657320323A20225C3C41
6E643E4120422E2041205C3C696E3E20
73657473204D31205C3C4C6F6E677269
6768746172726F773E2042205C3C696E
3E2073657473204D32205C3C4C6F6E67
72696768746172726F773E2066202D60
202841205C3C74696D65733E20422920
5C3C696E7465723E207370616365204D
205C3C696E3E2073657473204D220A20
2073686F7773202266205C3C696E3E20
6D656173757261626C65204D20284D31
205C3C4F74696D65733E5C3C5E737562
3E4D204D3229220A2020756E666F6C64
696E6720706169725F6D656173757265
5F646566207573696E67203120320A20
2062792028696E74726F206D65617375
7261626C655F6D6561737572655F6F66
2920286175746F20646573743A207365
74732E736574735F696E746F5F737061
6365290A0A6C656D6D61206D65617375
7261626C655F73706C69745F7265706C
6163655B6D656173757261626C652028
726177295D3A0A202022285C3C6C616D
6264613E782E20662078202866737420
2867207829292028736E642028672078
292929205C3C696E3E206D6561737572
61626C65204D204E205C3C4C6F6E6772
696768746172726F773E20285C3C6C61
6D6264613E782E20636173655F70726F
6420286620782920286720782929205C
3C696E3E206D656173757261626C6520
4D204E220A2020756E666F6C64696E67
2073706C69745F6265746127202E0A0A
6C656D6D61206D656173757261626C65
5F506169725B6D656173757261626C65
2028726177295D3A0A2020617373756D
657320663A202266205C3C696E3E206D
656173757261626C65204D204D312220
616E6420673A202267205C3C696E3E20
6D656173757261626C65204D204D3222
0A202073686F77732022285C3C6C616D
6264613E782E20286620782C20672078
2929205C3C696E3E206D656173757261
626C65204D20284D31205C3C4F74696D
65733E5C3C5E7375623E4D204D322922
0A70726F6F66202872756C65206D6561
73757261626C655F706169725F6D6561
7375726549290A202073686F77202228
5C3C6C616D6264613E782E2028662078
2C206720782929205C3C696E3E207370
616365204D205C3C7269676874617272
6F773E207370616365204D31205C3C74
696D65733E207370616365204D32220A
202020207573696E6720662067206279
20286175746F2073696D703A206D6561
73757261626C655F646566290A202066
69782041204220617373756D65202A3A
202241205C3C696E3E2073657473204D
3122202242205C3C696E3E2073657473
204D32220A2020686176652022285C3C
6C616D6264613E782E20286620782C20
6720782929202D60202841205C3C7469
6D65733E204229205C3C696E7465723E
207370616365204D203D202866202D60
2041205C3C696E7465723E2073706163
65204D29205C3C696E7465723E202867
202D602042205C3C696E7465723E2073
70616365204D29220A20202020627920
6175746F0A2020616C736F2068617665
20225C3C646F74733E205C3C696E3E20
73657473204D220A2020202062792028
72756C6520736574732E496E74292028
6175746F20696E74726F213A206D6561
73757261626C655F73657473202A2066
2067290A202066696E616C6C79207368
6F772022285C3C6C616D6264613E782E
20286620782C206720782929202D6020
2841205C3C74696D65733E204229205C
3C696E7465723E207370616365204D20
5C3C696E3E2073657473204D22202E0A
7165640A0A6C656D6D61206D65617375
7261626C655F6673745B696E74726F21
2C2073696D702C206D65617375726162
6C655D3A2022667374205C3C696E3E20
6D656173757261626C6520284D31205C
3C4F74696D65733E5C3C5E7375623E4D
204D3229204D31220A20206279202861
75746F2073696D703A206673745F7669
6D6167655F65715F54696D6573207370
6163655F706169725F6D656173757265
20736574732E736574735F696E746F5F
73706163652054696D65735F496E745F
54696D65730A202020206D6561737572
61626C655F646566290A0A6C656D6D61
206D656173757261626C655F736E645B
696E74726F212C2073696D702C206D65
6173757261626C655D3A2022736E6420
5C3C696E3E206D656173757261626C65
20284D31205C3C4F74696D65733E5C3C
5E7375623E4D204D3229204D32220A20
20627920286175746F2073696D703A20
736E645F76696D6167655F65715F5469
6D65732073706163655F706169725F6D
65617375726520736574732E73657473
5F696E746F5F73706163652054696D65
735F496E745F54696D65730A20202020
6D656173757261626C655F646566290A
...

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