/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2005-04-21 15:05 +0200 18950 SpassCommunication.ML
-rw-r--r-- 2005-04-21 15:05 +0200 6571 VampireCommunication.ML
-rw-r--r-- 2005-04-21 15:05 +0200 10141 modUnix.ML
-rw-r--r-- 2005-04-21 15:05 +0200 11629 recon_order_clauses.ML
-rw-r--r-- 2005-04-21 15:05 +0200 17082 recon_parse.ML
-rw-r--r-- 2005-04-21 15:05 +0200 5272 recon_prelim.ML
-rw-r--r-- 2005-04-21 15:05 +0200 40712 recon_transfer_proof.ML
-rw-r--r-- 2005-04-21 15:05 +0200 20629 recon_translate_proof.ML
-rwxr-xr-x 2005-04-21 15:05 +0200 754 remchars.pl
-rw-r--r-- 2005-04-21 15:05 +0200 12754 res_clasimpset.ML
-rw-r--r-- 2005-04-21 15:05 +0200 43535 watcher.ML
-rw-r--r-- 2005-04-21 15:05 +0200 1956 watcher.sig