| products/sources/formale Sprachen/C/Lyx/images/ |
|
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 ] |