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: ist005.cob   Sprache: Cobol

Untersuchungsergebnis.out Download desText {Text[200] Haskell[242] Fortran[479]}zum Wurzelverzeichnis wechseln

Ltac f H := split; [ a H | e H ]
Ltac g := match goal with
          | |- context [ if ?X then _ else _ ] => case X
          end
The command has indeed failed with message:
H is already used.
The command has indeed failed with message:
H is already used.

[ zur Elbe Produktseite wechseln0.74Quellennavigators  ]