products/sources/formale Sprachen/C/Lyx/images/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Ring.thy   Sprache: Isabelle

Haftungsausschluß.xpm KontaktPostscript {Postscript[206] Lex[392] BAT[418]}diese Dinge liegen außhalb unserer Verantwortung

/* XPM */
static char * print1_xpm[] = {
"24 20 7 1",
" c #BFBFBFBFBFBF",
". c #000000000000",
"X c #FFFFFFFFFFFF",
"o c #7B7B00000000",
"O c #B2B2ABABACAC",
"+ c navy",
"@ c #9A9A94949494",
" ",
" ",
" ",
" ............ ",
" .XXXXXXXXXX. ",
" .XXooooooooXX. ",
" .XXXXXXXXXXXX. ",
" .XXooooooooooXX. ",
" .XXXXXXXXXXXXXX. ",
" ...................... ",
" .OOOOOOOOOOOOOOOOOOOO. ",
" .OOOOOOOOOOOOOOO++++O. ",
" .OOOOOOOOOOOOOOOOOOOO. ",
" .OOOOOOOOOOOOOOOOOOOO. ",
" .OOOOOOOOOOOOOOOOOOOO. ",
" ..................... ",
" .@@@@@@@@@@@@@@@@@@. ",
" .@@@@@@@@@@@@@@@@@@. ",
" .................. ",
" "};

[ Seitenstruktur0.78Drucken  ]