| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: SourceView.~bpl Sprache: Unknown
|
rahmenlose Ansicht.out DruckansichtSML {SML[92] Delphi[99] Coq[103]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (0 = 1) (eq 0) eq @eq nat 0 1 S 0 2 [ Verzeichnis aufwärts0.69unsichere Verbindung ] |