/src/HOL/Tools/ATP/
drwxr-xr-x [up]
-rw-r--r-- 2006-05-09 10:09 +0200 8859 AtpCommunication.ML
-rw-r--r-- 2006-05-09 10:09 +0200 7863 recon_order_clauses.ML
-rw-r--r-- 2006-05-09 10:09 +0200 14419 recon_parse.ML
-rw-r--r-- 2006-05-09 10:09 +0200 26509 recon_transfer_proof.ML
-rw-r--r-- 2006-05-09 10:09 +0200 15429 recon_translate_proof.ML
-rw-r--r-- 2006-05-09 10:09 +0200 6850 reduce_axiomsN.ML
-rw-r--r-- 2006-05-09 10:09 +0200 12478 res_clasimpset.ML
-rw-r--r-- 2006-05-09 10:09 +0200 16099 watcher.ML