drwxr-xr-x | [up] | |||
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1690 | const_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1471 | const_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1183 | const_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1060 | const_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 219 | const_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 201 | const_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 3873 | full_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 3660 | full_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 2600 | full_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 2482 | full_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 595 | full_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 574 | full_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1768 | par_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1822 | par_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1298 | par_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1331 | par_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 357 | par_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 339 | par_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1180 | u_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 1234 | u_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 871 | u_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 910 | u_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 191 | u_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-06-07 16:55 +0200 | 177 | u_helper1.tptp | file | revisions | annotate |