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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: UnivBinders.out   Sprache: Unknown

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

MIRABELLE_HOME="$COMPONENT"

MIRABELLE_LOGIC=HOL
MIRABELLE_THEORY=Main
MIRABELLE_TIMEOUT=30

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

[ Verzeichnis aufwärts0.14unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]