Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/HOL-CSP_PTick/   (Archive of formal Proofs Version 2026-5©)  Datei vom 29.4.2026 mit Größe 2 kB image not shown  

Bilddatei

lc_arc.png


products/Sources/formale Sprachen/C/LibreOffice/icon-themes/karasa_jaga/cmd/lc_arc.png

�PNG  ��� IHDR����������w=����sBIT|d���� pHYs�������+���tEXtSoftware�www.inkscape.org��<���IDATH�픱kSQ�Ϲy��WA� �"�K�,ֆ�4Ã�! Ŗ���Y� �AAp�[�G���W�V�Ci��{q�Bl��s�S��b M�K�������8�I� � �ʬw�uVD��ˋW8�.�����)3O����"�ePxOA�ΉHEU���J�R�8�t�( ��0sU5�],? N�(:�l��U�r�Px7 8��9:t��1Jx���E��(�]��66����h���_G!��H��76>�nnn}H5P��� �`mB`�YAČ���qɍ��,�L�˄���}U]B�յ�ڍA�QԘ2F*���N���D�Y�:��fy1>�>���?�����Y��u���b&s���m���V+~"�Y ��E�v�����u�Mxޙ4��#��D�z*�=�妾���[��j���c�["2�,���Ү�8�=�V}����9����P�������IEND�B`�