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: AC16_lemmas.thy   Sprache: Isabelle

Haftungsausschluß.xpm KontaktPostscript {Postscript[477] Hlasm[513] BAT[644]}diese Dinge liegen außhalb unserer Verantwortung

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




[ Seitenstruktur0.87Drucken  ]