products/sources/formale Sprachen/C/Lyx/images/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 26.9.1998 mit Größe 670 B image not shown  

Quelle  fig_bw.xpm   Sprache: unbekannt

 
/* XPM */
static char * fig_xpm[] = {
/* width height num_colors chars_per_pixel */
"20 20 2 1",
/* colors */
"  c black",
". c #BFBFBFBFBFBF",
/* pixels */
"                    ",
" .................. ",
" ..              .. ",
" .................. ",
" ..              .. ",
" .................. ",
" ....          .... ",
" .... ........ .... ",
" .... ....  .. .... ",
" .... ... .. . .... ",
" .... ..       .... ",
" .... .        .... ",
" ....          .... ",
" ....          .... ",
" .................. ",
" ..              .. ",
" .................. ",
" ..              .. ",
" .................. ",
"                    "};



[ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet)  ]