Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Real_Asymp/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 99 kB image not shown  

Quelle  view_dvi_bw.xpm   Sprache: unbekannt

 
/* XPM */
static char * view_dvi_xpm[] = {
"20 20 2 1",
"  c #BFBFBFBFBFBF",
". c #000000000000",
"                    ",
"     .............. ",
"     .            . ",
"   ...            . ",
" ... .            . ",
" . . .            . ",
" . . .    .     . . ",
" . . .    .     . . ",
" . . .    .       . ",
" . . .  ... . . . . ",
" . . . .  . . . . . ",
" . . . .  . . . . . ",
" . . .  ...  .  . . ",
" . . .            . ",
" . . .............. ",
" . .            .   ",
" . ..............   ",
" .            .     ",
" ..............     ",
"                    "};




[ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ]