products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Lizenz.pas.~13~   Sprache: Unknown

Untersuchungsergebnis.out Download desHaskell {Haskell[354] Fortran[581] CS[609]}zum Wurzelverzeichnis wechseln

The command has indeed failed with message:
unit: Not a projection.
The command has indeed failed with message:
unit: Not a projection.
The command has indeed failed with message:
This record contains fields of both t and t'.
The command has indeed failed with message:
unit: Not a projection.
The command has indeed failed with message:
This record defines several times the field foo.
The command has indeed failed with message:
This record defines several times the field unit.
The command has indeed failed with message:
unit: Not a projection of inductive t.

[ Dauer der Verarbeitung: 0.71 Sekunden  ]