/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2005-06-05 11:31 +0200 17169 SpassCommunication.ML
-rw-r--r-- 2005-06-05 11:31 +0200 6571 VampireCommunication.ML
-rw-r--r-- 2005-06-05 11:31 +0200 7955 recon_order_clauses.ML
-rw-r--r-- 2005-06-05 11:31 +0200 16535 recon_parse.ML
-rw-r--r-- 2005-06-05 11:31 +0200 4752 recon_prelim.ML
-rw-r--r-- 2005-06-05 11:31 +0200 39961 recon_transfer_proof.ML
-rw-r--r-- 2005-06-05 11:31 +0200 17999 recon_translate_proof.ML
-rwxr-xr-x 2005-06-05 11:31 +0200 754 remchars.pl
-rw-r--r-- 2005-06-05 11:31 +0200 3565 res_clasimpset.ML
-rwxr-xr-x 2005-06-05 11:31 +0200 192 spassshell
-rwxr-xr-x 2005-06-05 11:31 +0200 323 testoutput.py
-rw-r--r-- 2005-06-05 11:31 +0200 38354 watcher.ML
-rw-r--r-- 2005-06-05 11:31 +0200 2004 watcher.sig