/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2005-04-08 18:43 +0200 16497 SpassCommunication.ML
-rw-r--r-- 2005-04-08 18:43 +0200 6550 VampireCommunication.ML
-rw-r--r-- 2005-04-08 18:43 +0200 10694 modUnix.ML
-rw-r--r-- 2005-04-08 18:43 +0200 1299 recon_gandalf_base.ML
-rw-r--r-- 2005-04-08 18:43 +0200 17206 recon_order_clauses.ML
-rw-r--r-- 2005-04-08 18:43 +0200 16983 recon_parse.ML
-rw-r--r-- 2005-04-08 18:43 +0200 5409 recon_prelim.ML
-rw-r--r-- 2005-04-08 18:43 +0200 14505 recon_reconstruct_proof.ML
-rw-r--r-- 2005-04-08 18:43 +0200 42848 recon_transfer_proof.ML
-rw-r--r-- 2005-04-08 18:43 +0200 20690 recon_translate_proof.ML
-rwxr-xr-x 2005-04-08 18:43 +0200 754 remchars.pl
-rw-r--r-- 2005-04-08 18:43 +0200 8979 res_clasimpset.ML
-rw-r--r-- 2005-04-08 18:43 +0200 44954 watcher.ML
-rw-r--r-- 2005-04-08 18:43 +0200 1941 watcher.sig