Quelle  Lattice_Algebras.thy   Sprache: unbekannt

282A2020417574686F723A2020202020
53746576656E204F6275612C20545520
4D75656E6368656E202A290A0A736563
74696F6E205C3C6F70656E3E56617269
6F757320616C67656272616963207374
727563747572657320636F6D62696E65
6420776974682061206C617474696365
5C3C636C6F73653E0A0A7468656F7279
204C6174746963655F416C6765627261
730A2020696D706F72747320436F6D70
6C65785F4D61696E0A626567696E0A0A
636C6173732073656D696C6174746963
655F696E665F61625F67726F75705F61
6464203D206F7264657265645F61625F
67726F75705F616464202B2073656D69
6C6174746963655F696E660A62656769
6E0A0A6C656D6D61206164645F696E66
5F646973747269625F6C6566743A2022
61202B20696E6620622063203D20696E
66202861202B206229202861202B2063
29222028697320223F4C3D3F5222290A
70726F6F662028696E74726F206F7264
65722E616E746973796D290A20207368
6F7720223F52205C3C6C653E203F4C22
0A2020627920286D6574697320616464
5F636F6D6D75746520646966665F6C65
5F657120696E665F6772656174657374
20696E665F6C653120696E665F6C6532
290A7165642073696D700A0A6C656D6D
61206164645F696E665F646973747269
625F72696768743A2022696E66206120
62202B2063203D20696E66202861202B
206329202862202B206329220A202075
73696E67206164645F636F6D6D757465
206164645F696E665F64697374726962
5F6C6566742062792070726573627572
6765720A0A656E640A0A636C61737320
73656D696C6174746963655F7375705F
61625F67726F75705F616464203D206F
7264657265645F61625F67726F75705F
616464202B2073656D696C6174746963
655F7375700A626567696E0A0A6C656D
6D61206164645F7375705F6469737472
69625F6C6566743A202261202B207375
7020622063203D20737570202861202B
206229202861202B2063292220286973
20223F4C203D203F5222290A70726F6F
66202872756C65206F726465722E616E
746973796D290A202073686F7720223F
4C205C3C6C653E203F52220A20202020
627920286D65746973206164645F636F
6D6D757465206C655F646966665F6571
207375702E626F756E6465645F696666
207375705F676531207375705F676532
290A7165642073696D700A0A6C656D6D
61206164645F7375705F646973747269
625F72696768743A2022737570206120
62202B2063203D20737570202861202B
206329202862202B206329220A70726F
6F66202D0A202068617665202263202B
2073757020612062203D207375702028
632B61292028632B6229220A20202020
6279202873696D70206164643A206164
645F7375705F646973747269625F6C65
6674290A20207468656E2073686F7720
3F7468657369730A2020202062792028
73696D70206164643A206164642E636F
6D6D757465290A7165640A0A656E640A
0A636C617373206C6174746963655F61
625F67726F75705F616464203D206F72
64657265645F61625F67726F75705F61
6464202B206C6174746963650A626567
696E0A0A737562636C6173732073656D
696C6174746963655F696E665F61625F
67726F75705F616464202E2E0A737562
636C6173732073656D696C6174746963
655F7375705F61625F67726F75705F61
6464202E2E0A0A6C656D6D6173206164
645F7375705F696E665F646973747269
6273203D0A20206164645F696E665F64
6973747269625F726967687420616464
5F696E665F646973747269625F6C6566
74206164645F7375705F646973747269
625F7269676874206164645F7375705F
646973747269625F6C6566740A0A6C65
6D6D6120696E665F65715F6E65675F73
75703A2022696E6620612062203D202D
2073757020282D20612920282D206229
220A70726F6F66202872756C6520696E
665F756E69717565290A202066697820
6120622063203A3A2027610A20207368
6F7720222D2073757020282D20612920
282D206229205C3C6C653E2061220A20
2020206279202872756C65206164645F
6C655F696D705F6C655F726967687420
5B6F66205F20227375702028756D696E
75732061292028756D696E7573206229
225D290A2020202020202873696D702C
2073696D70206164643A206164645F73
75705F646973747269625F6C65667429
0A202073686F7720222D207375702028
2D612920282D6229205C3C6C653E2062
220A202020206279202872756C652061
64645F6C655F696D705F6C655F726967
6874205B6F66205F2022737570202875
6D696E75732061292028756D696E7573
206229225D290A202020202020287369
6D702C2073696D70206164643A206164
645F7375705F646973747269625F6C65
6674290A2020617373756D6520226120
5C3C6C653E206222202261205C3C6C65
3E2063220A20207468656E2073686F77
202261205C3C6C653E202D2073757020
282D622920282D6329220A2020202062
7920287375627374206E65675F6C655F
6966665F6C65205B73796D6D65747269
635D29202873696D70206164643A206C
655F73757049290A7165640A0A6C656D
6D61207375705F65715F6E65675F696E
663A202273757020612062203D202D20
696E6620282D20612920282D20622922
0A70726F6F66202872756C6520737570
5F756E69717565290A20206669782061
20622063203A3A2027610A202073686F
77202261205C3C6C653E202D20696E66
20282D20612920282D206229220A2020
20206279202872756C65206164645F6C
655F696D705F6C655F7269676874205B
6F66205F2022696E662028756D696E75
732061292028756D696E757320622922
5D290A2020202020202873696D702C20
73696D70206164643A206164645F696E
665F646973747269625F6C656674290A
202073686F77202262205C3C6C653E20
2D20696E6620282D20612920282D2062
29220A202020206279202872756C6520
6164645F6C655F696D705F6C655F7269
676874205B6F66205F2022696E662028
756D696E75732061292028756D696E75
73206229225D290A2020202020202873
696D702C2073696D70206164643A2061
64645F696E665F646973747269625F6C
656674290A202073686F7720222D2069
6E6620282D20612920282D206229205C
3C6C653E206322206966202261205C3C
6C653E206322202262205C3C6C653E20
63220A202020207573696E6720746861
7420627920287375627374206E65675F
6C655F6966665F6C65205B73796D6D65
747269635D29202873696D7020616464
3A206C655F696E6649290A7165640A0A
6C656D6D61206E65675F696E665F6571
5F7375703A20222D20696E6620612062
203D2073757020282D20612920282D20
6229220A20206279202873696D702061
64643A20696E665F65715F6E65675F73
7570290A0A6C656D6D6120646966665F
696E665F65715F7375703A202261202D
20696E6620622063203D2061202B2073
757020282D20622920282D206329220A
20207573696E67206E65675F696E665F
65715F737570205B6F66206220632C20
73796D6D65747269635D206279207369
6D700A0A6C656D6D61206E65675F7375
705F65715F696E663A20222D20737570
20612062203D20696E6620282D206129
20282D206229220A2020627920287369
6D70206164643A207375705F65715F6E
65675F696E66290A0A6C656D6D612064
6966665F7375705F65715F696E663A20
2261202D2073757020622063203D2061
202B20696E6620282D20622920282D20
6329220A20207573696E67206E65675F
7375705F65715F696E66205B6F662062
20632C2073796D6D65747269635D2062
792073696D700A0A6C656D6D61206164
645F65715F696E665F7375703A202261
202B2062203D2073757020612062202B
20696E6620612062220A70726F6F6620
2D0A202068617665202230203D202D20
696E662030202861202D206229202B20
696E66202861202D2062292030220A20
2020206279202873696D70206164643A
20696E665F636F6D6D757465290A2020
7468656E2068617665202230203D2073
75702030202862202D206129202B2069
6E66202861202D2062292030220A2020
20206279202873696D70206164643A20
696E665F65715F6E65675F737570290A
20207468656E2068617665202230203D
20282D2061202B207375702061206229
202B2028696E6620612062202B20282D
20622929220A20202020627920287369
6D70206F6E6C793A206164645F737570
5F646973747269625F6C656674206164
645F696E665F646973747269625F7269
676874292073696D700A20207468656E
2073686F77203F7468657369730A2020
20206279202873696D70206164643A20
616C67656272615F73696D7073290A71
65640A0A0A73756273656374696F6E20
5C3C6F70656E3E506F73697469766520
506172742C204E656761746976652050
6172742C204162736F6C757465205661
6C75655C3C636C6F73653E0A0A646566
696E6974696F6E206E707274203A3A20
222761205C3C52696768746172726F77
3E202761220A2020776865726520226E
7072742078203D20696E662078203022
0A0A646566696E6974696F6E20707072
74203A3A20222761205C3C5269676874
6172726F773E202761220A2020776865
72652022707072742078203D20737570
20782030220A0A6C656D6D6120707072
745F6E65673A20227070727420282D20
7829203D202D206E7072742078220A70
726F6F66202D0A202068617665202273
757020282D2078292030203D20737570
20282D20782920282D203029220A2020
20206279202873696D70206F6E6C793A
206D696E75735F7A65726F290A202061
6C736F206861766520225C3C646F7473
3E203D202D20696E6620782030220A20
2020206279202873696D70206F6E6C79
3A206E65675F696E665F65715F737570
290A202066696E616C6C792068617665
202273757020282D2078292030203D20
2D20696E662078203022202E0A202074
68656E2073686F77203F746865736973
0A202020206279202873696D70206F6E
6C793A20707072745F646566206E7072
745F646566290A7165640A0A6C656D6D
61206E7072745F6E65673A20226E7072
7420282D207829203D202D2070707274
2078220A70726F6F66202D0A20206672
6F6D20707072745F6E65672068617665
20227070727420282D20282D20782929
203D202D206E70727420282D20782922
202E0A20207468656E20686176652022
707072742078203D202D206E70727420
282D207829222062792073696D700A20
207468656E2073686F77203F74686573
69732062792073696D700A7165640A0A
6C656D6D6120707274733A202261203D
20707072742061202B206E7072742061
220A20206279202873696D7020616464
3A20707072745F646566206E7072745F
64656620666C69703A206164645F6571
5F696E665F737570290A0A6C656D6D61
207A65726F5F6C655F707072745B7369
6D705D3A202230205C3C6C653E207070
72742061220A20206279202873696D70
206164643A20707072745F646566290A
0A6C656D6D61206E7072745F6C655F7A
65726F5B73696D705D3A20226E707274
2061205C3C6C653E2030220A20206279
...

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