Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
fixpoint3.v
Sprache: Coq
Untersuchungsergebnis.drc Download desIsabelle {Isabelle[190] Abap[308] [0]}zum Wurzelverzeichnis wechseln
/* VER210
Generated by the CodeGear Delphi Pascal Compiler
because -GD or --drc was supplied to the compiler.
This file contains compiler-generated resources that
were bound to the executable.
If this file is empty, then no compiler-generated
resources were bound to the produced executable.
*/
DESCRIPTION RCDATA
BEGIN
"\x43", "\x00", "\x6f", "\x00", "\x6c", "\x00", "\x75", "\x00", /* 0000: C.o.l.u. */
"\x6d", "\x00", "\x62", "\x00", "\x6f", "\x00", "\x20", "\x00", /* 0008: m.b.o. . */
"\x74", "\x00", "\x68", "\x00", "\x65", "\x00", "\x20", "\x00", /* 0010: t.h.e. . */
"\x5a", "\x00", "\x4f", "\x00", "\x53", "\x00", "\x20", "\x00", /* 0018: Z.O.S. . */
"\x44", "\x00", "\x65", "\x00", "\x74", "\x00", "\x65", "\x00", /* 0020: D.e.t.e. */
"\x63", "\x00", "\x74", "\x00", "\x69", "\x00", "\x76", "\x00", /* 0028: c.t.i.v. */
"\x65", "\x00", "\x00", "\x00" /* 0030: e... */
END
[ zur Elbe Produktseite wechseln0.108Quellennavigators
]
|
|
