/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2005-05-23 00:18 +0200 15803 SpassCommunication.ML
-rw-r--r-- 2005-05-23 00:18 +0200 6571 VampireCommunication.ML
-rw-r--r-- 2005-05-23 00:18 +0200 10187 modUnix.ML
-rw-r--r-- 2005-05-23 00:18 +0200 11706 recon_order_clauses.ML
-rw-r--r-- 2005-05-23 00:18 +0200 17390 recon_parse.ML
-rw-r--r-- 2005-05-23 00:18 +0200 5272 recon_prelim.ML
-rw-r--r-- 2005-05-23 00:18 +0200 44443 recon_transfer_proof.ML
-rw-r--r-- 2005-05-23 00:18 +0200 20712 recon_translate_proof.ML
-rwxr-xr-x 2005-05-23 00:18 +0200 754 remchars.pl
-rw-r--r-- 2005-05-23 00:18 +0200 4079 res_clasimpset.ML
-rw-r--r-- 2005-05-23 00:18 +0200 48777 watcher.ML
-rw-r--r-- 2005-05-23 00:18 +0200 2004 watcher.sig