| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: univ_include.v Sprache: Unknown
|
rahmenlose Ansicht.out DruckansichtHaskell {Haskell[463] BAT[522] Ada[643]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] File "stdin", line 5, characters 0-3: Warning: Tactic foo is deprecated since X.Y. Use idtac instead. [deprecated-tactic,deprecated] [ Verzeichnis aufwärts0.42unsichere Verbindung ] |