products
/
Sources
/
formale Sprachen
/
Delphi
/
Autor 0.7
/
Hilfetexte
/
files
/
Bilddatei
tptp_translate
products/sources/formale Sprachen/Isabelle/HOL/TPTP/lib/Tools/tptp_translate
