drwxr-xr-x | [up] | |||
-rw-r--r-- | 2006-09-21 17:33 +0200 | 304 | const_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 307 | const_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 360 | const_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 367 | const_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 225 | const_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 229 | const_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 197 | const_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 200 | const_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 224 | const_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 229 | const_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 778 | const_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 755 | const_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 653 | const_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 624 | const_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 430 | const_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 378 | const_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 838 | full_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 838 | full_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1155 | full_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1161 | full_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 375 | full_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 379 | full_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 526 | full_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 530 | full_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 691 | full_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 696 | full_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 2047 | full_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 2024 | full_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1590 | full_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1563 | full_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1064 | full_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1011 | full_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 532 | par_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 534 | par_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 742 | par_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 747 | par_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 264 | par_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 269 | par_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 343 | par_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 348 | par_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 453 | par_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 459 | par_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1270 | par_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 1249 | par_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 999 | par_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 973 | par_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 655 | par_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 604 | par_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 269 | u_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 287 | u_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 314 | u_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 343 | u_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 204 | u_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 198 | u_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 177 | u_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 176 | u_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 199 | u_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 216 | u_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 682 | u_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 661 | u_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 572 | u_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 552 | u_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 390 | u_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-21 17:33 +0200 | 348 | u_helper1.tptp | file | revisions | annotate |