/src/HOL/Tools/atp-inputs/
drwxr-xr-x [up]
-rw-r--r-- 2006-08-03 17:30 +0200 778 const_comb_inclS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 755 const_comb_inclS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 653 const_comb_noS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 624 const_comb_noS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 219 const_helper1.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 201 const_helper1.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 2047 full_comb_inclS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 2024 full_comb_inclS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 1590 full_comb_noS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 1563 full_comb_noS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 595 full_helper1.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 574 full_helper1.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 1270 par_comb_inclS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 1249 par_comb_inclS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 999 par_comb_noS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 973 par_comb_noS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 357 par_helper1.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 339 par_helper1.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 682 u_comb_inclS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 661 u_comb_inclS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 572 u_comb_noS.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 552 u_comb_noS.tptp
-rw-r--r-- 2006-08-03 17:30 +0200 191 u_helper1.dfg
-rw-r--r-- 2006-08-03 17:30 +0200 177 u_helper1.tptp