/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2006-02-15 21:34 +0100 8933 AtpCommunication.ML
-rw-r--r-- 2006-02-15 21:34 +0100 7863 recon_order_clauses.ML
-rw-r--r-- 2006-02-15 21:34 +0100 14419 recon_parse.ML
-rw-r--r-- 2006-02-15 21:34 +0100 26581 recon_transfer_proof.ML
-rw-r--r-- 2006-02-15 21:34 +0100 15429 recon_translate_proof.ML
-rw-r--r-- 2006-02-15 21:34 +0100 12997 reduce_axiomsN.ML
-rw-r--r-- 2006-02-15 21:34 +0100 11240 res_clasimpset.ML
-rw-r--r-- 2006-02-15 21:34 +0100 15756 watcher.ML