/src/HOL/Tools/atp-inputs/
drwxr-xr-x [up]
-rw-r--r-- 2006-05-09 10:09 +0200 1471 const_comb_inclS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 1060 const_comb_noS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 201 const_helper1.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 3660 full_comb_inclS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 2482 full_comb_noS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 574 full_helper1.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 1822 par_comb_inclS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 1331 par_comb_noS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 339 par_helper1.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 1234 u_comb_inclS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 910 u_comb_noS.tptp
-rw-r--r-- 2006-05-09 10:09 +0200 177 u_helper1.tptp