products/sources/formale Sprachen/Isabelle/HOL/TPTP/etc/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: settings   Sprache: Unknown

# -*- shell-script -*- :mode=shellscript:

TPTP_HOME="$COMPONENT"

ISABELLE_TOOLS="$ISABELLE_TOOLS:$TPTP_HOME/lib/Tools"

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]