drwxr-xr-x | [up] | |||
-rw-r--r-- | 2006-09-20 14:02 +0200 | 304 | const_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 307 | const_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 358 | const_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 365 | const_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 225 | const_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 229 | const_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 197 | const_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 200 | const_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 223 | const_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 228 | const_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 778 | const_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 755 | const_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 653 | const_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 624 | const_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 430 | const_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 378 | const_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 838 | full_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 838 | full_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1153 | full_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1159 | full_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 375 | full_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 379 | full_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 526 | full_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 530 | full_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 690 | full_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 695 | full_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 2047 | full_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 2024 | full_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1590 | full_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1563 | full_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1064 | full_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1011 | full_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 532 | par_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 534 | par_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 740 | par_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 745 | par_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 264 | par_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 269 | par_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 343 | par_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 348 | par_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 452 | par_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 458 | par_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1270 | par_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 1249 | par_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 999 | par_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 973 | par_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 655 | par_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 604 | par_helper1.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 269 | u_combBC.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 287 | u_combBC.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 312 | u_combBC_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 341 | u_combBC_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 204 | u_combIK.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 198 | u_combIK.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 177 | u_combS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 176 | u_combS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 198 | u_combS_e.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 215 | u_combS_e.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 682 | u_comb_inclS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 661 | u_comb_inclS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 572 | u_comb_noS.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 552 | u_comb_noS.tptp | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 390 | u_helper1.dfg | file | revisions | annotate |
-rw-r--r-- | 2006-09-20 14:02 +0200 | 348 | u_helper1.tptp | file | revisions | annotate |