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: isabelle_thread.ML   Sprache: Unknown

Spracherkennung für: .out vermutete Sprache: Haskell {Haskell[354] Fortran[581] CS[609]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

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.75 Sekunden  ]