/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2005-12-16 09:00 +0100 8981 AtpCommunication.ML
-rw-r--r-- 2005-12-16 09:00 +0100 7863 recon_order_clauses.ML
-rw-r--r-- 2005-12-16 09:00 +0100 14552 recon_parse.ML
-rw-r--r-- 2005-12-16 09:00 +0100 26426 recon_transfer_proof.ML
-rw-r--r-- 2005-12-16 09:00 +0100 15429 recon_translate_proof.ML
-rwxr-xr-x 2005-12-16 09:00 +0100 754 remchars.pl
-rw-r--r-- 2005-12-16 09:00 +0100 5618 res_clasimpset.ML
-rwxr-xr-x 2005-12-16 09:00 +0100 192 spassshell
-rwxr-xr-x 2005-12-16 09:00 +0100 323 testoutput.py
-rw-r--r-- 2005-12-16 09:00 +0100 15611 watcher.ML