products/sources/formale Sprachen/Isabelle/HOL/Tools/ATP/scripts/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: dummy_atp   Sprache: Unknown

#!/bin/sh

echo "SZS status Unknown"

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]