| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 778 | const_comb_inclS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 755 | const_comb_inclS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 653 | const_comb_noS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 624 | const_comb_noS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 219 | const_helper1.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 201 | const_helper1.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 2047 | full_comb_inclS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 2024 | full_comb_inclS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 1590 | full_comb_noS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 1563 | full_comb_noS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 595 | full_helper1.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 574 | full_helper1.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 1270 | par_comb_inclS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 1249 | par_comb_inclS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 999 | par_comb_noS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 973 | par_comb_noS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 357 | par_helper1.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 339 | par_helper1.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 682 | u_comb_inclS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 661 | u_comb_inclS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 572 | u_comb_noS.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 552 | u_comb_noS.tptp | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 191 | u_helper1.dfg | file | revisions | annotate |
| -rw-r--r-- | 2006-06-30 12:22 +0200 | 177 | u_helper1.tptp | file | revisions | annotate |