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: tptp_interpret.ML   Sprache: SML

Untersuchungsergebnis.out Download desHaskell {Haskell[388] Fortran[518] Ada[634]}zum Wurzelverzeichnis wechseln

The command has indeed failed with message:
Cannot coerce to a disjunctive/conjunctive pattern.
The command has indeed failed with message:
Disjunctive/conjunctive introduction pattern expected.
The command has indeed failed with message:
Cannot coerce to a disjunctive/conjunctive pattern.
The command has indeed failed with message:
Cannot coerce to a disjunctive/conjunctive pattern.
The command has indeed failed with message:
Ltac variable H is bound to <tactic closure> which cannot be coerced to
an introduction pattern.
The command has indeed failed with message:
Disjunctive/conjunctive introduction pattern expected.
The command has indeed failed with message:
Ltac variable H' is bound to which cannot be coerced to
an introduction pattern.

[ zur Elbe Produktseite wechseln0.70Quellennavigators  ]