Thales : ftp://ftp.gnu.org/pub/gnu/thales/thales-1.0.tar.gz
yukarıdaki adresden indirebilirsiniz.

bu adresde sanırım var