/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2005-07-11 16:42 +0200 19058 SpassCommunication.ML
-rw-r--r-- 2005-07-11 16:42 +0200 12747 VampCommunication.ML
-rw-r--r-- 2005-07-11 16:42 +0200 4161 VampireCommunication.ML
-rw-r--r-- 2005-07-11 16:42 +0200 7906 recon_order_clauses.ML
-rw-r--r-- 2005-07-11 16:42 +0200 20263 recon_parse.ML
-rw-r--r-- 2005-07-11 16:42 +0200 4752 recon_prelim.ML
-rw-r--r-- 2005-07-11 16:42 +0200 46566 recon_transfer_proof.ML
-rw-r--r-- 2005-07-11 16:42 +0200 18701 recon_translate_proof.ML
-rwxr-xr-x 2005-07-11 16:42 +0200 754 remchars.pl
-rw-r--r-- 2005-07-11 16:42 +0200 8778 res_clasimpset.ML
-rwxr-xr-x 2005-07-11 16:42 +0200 192 spassshell
-rwxr-xr-x 2005-07-11 16:42 +0200 323 testoutput.py
-rw-r--r-- 2005-07-11 16:42 +0200 47193 watcher.ML
-rw-r--r-- 2005-07-11 16:42 +0200 2004 watcher.sig