Index of /xml/Nijmegen/QArith/Qhomographic_Qpositive_to_Qpositive

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 5.3K 
[ ]Qhomographic_Qpositive_to_Qpositive.con.body.xml.gz2004-04-08 15:29 4.1K 
[ ]Qhomographic_Qpositive_to_Qpositive.con.types.xml.gz2004-04-08 15:29 1.2K 
[ ]Qhomographic_Qpositive_to_Qpositive.con.xml.gz2004-04-08 15:29 524  
[ ]Qhomographic_Qpositive_to_Qpositive_0.con.body.xml.gz2004-04-08 15:29 1.8K 
[ ]Qhomographic_Qpositive_to_Qpositive_0.con.types.xml.gz2004-04-08 15:29 2.5K 
[ ]Qhomographic_Qpositive_to_Qpositive_0.con.xml.gz2004-04-08 15:29 937  
[ ]Qhomographic_Qpositive_to_Qpositive_1.con.body.xml.gz2004-04-08 15:29 11K 
[ ]Qhomographic_Qpositive_to_Qpositive_1.con.types.xml.gz2004-04-08 15:29 35K 
[ ]Qhomographic_Qpositive_to_Qpositive_1.con.xml.gz2004-04-08 15:29 1.0K 
[ ]Qhomographic_Qpositive_to_Qpositive_2.con.body.xml.gz2004-04-08 15:29 13K 
[ ]Qhomographic_Qpositive_to_Qpositive_2.con.types.xml.gz2004-04-08 15:29 43K 
[ ]Qhomographic_Qpositive_to_Qpositive_2.con.xml.gz2004-04-08 15:29 1.1K 
[ ]Qhomographic_Qpositive_to_Qpositive_3'.con.body.xml.gz2004-04-08 15:29 5.8K 
[ ]Qhomographic_Qpositive_to_Qpositive_3'.con.types.xml.gz2004-04-08 15:29 16K 
[ ]Qhomographic_Qpositive_to_Qpositive_3'.con.xml.gz2004-04-08 15:29 1.0K 
[ ]Qhomographic_Qpositive_to_Qpositive_3.con.body.xml.gz2004-04-08 15:29 5.8K 
[ ]Qhomographic_Qpositive_to_Qpositive_3.con.types.xml.gz2004-04-08 15:29 16K 
[ ]Qhomographic_Qpositive_to_Qpositive_3.con.xml.gz2004-04-08 15:29 1.0K 
[ ]Qhomographic_Qpositive_to_Qpositive_equal.con.body.xml.gz2004-04-08 15:29 135K 
[ ]Qhomographic_Qpositive_to_Qpositive_equal.con.types.xml.gz2004-04-08 15:29 337K 
[ ]Qhomographic_Qpositive_to_Qpositive_equal.con.xml.gz2004-04-08 15:29 758  
[ ]Qhomographic_Qpositive_to_Qpositive_equal_strong.con.body.xml.gz2004-04-08 15:29 3.5K 
[ ]Qhomographic_Qpositive_to_Qpositive_equal_strong.con.types.xml.gz2004-04-08 15:29 4.3K 
[ ]Qhomographic_Qpositive_to_Qpositive_equal_strong.con.xml.gz2004-04-08 15:29 1.0K 
[ ]Qpositive_as_well_ordering.con.body.xml.gz2004-04-08 15:29 435  
[ ]Qpositive_as_well_ordering.con.types.xml.gz2004-04-08 15:29 242  
[ ]Qpositive_as_well_ordering.con.xml.gz2004-04-08 15:29 272  
[ ]Qpositive_length.con.body.xml.gz2004-04-08 15:29 723  
[ ]Qpositive_length.con.types.xml.gz2004-04-08 15:29 227  
[ ]Qpositive_length.con.xml.gz2004-04-08 15:29 313  
[ ]Z4.ind.types.xml.gz2004-04-08 15:29 207  
[ ]Z4.ind.xml.gz2004-04-08 15:29 1.2K 
[ ]Z4_as_well_ordering.con.body.xml.gz2004-04-08 15:29 426  
[ ]Z4_as_well_ordering.con.types.xml.gz2004-04-08 15:29 241  
[ ]Z4_as_well_ordering.con.xml.gz2004-04-08 15:29 262  
[ ]Z4_eq.con.body.xml.gz2004-04-08 15:29 1.7K 
[ ]Z4_eq.con.types.xml.gz2004-04-08 15:29 213  
[ ]Z4_eq.con.xml.gz2004-04-08 15:29 325  
[ ]Z4_eq_is_equality.con.body.xml.gz2004-04-08 15:29 1.0K 
[ ]Z4_eq_is_equality.con.types.xml.gz2004-04-08 15:29 1.0K 
[ ]Z4_eq_is_equality.con.xml.gz2004-04-08 15:29 369  
[ ]Z4_eq_is_reflexive.con.body.xml.gz2004-04-08 15:29 6.4K 
[ ]Z4_eq_is_reflexive.con.types.xml.gz2004-04-08 15:29 8.2K 
[ ]Z4_eq_is_reflexive.con.xml.gz2004-04-08 15:29 407  
[ ]Z4_eq_is_symmetric.con.body.xml.gz2004-04-08 15:29 23K 
[ ]Z4_eq_is_symmetric.con.types.xml.gz2004-04-08 15:29 36K 
[ ]Z4_eq_is_symmetric.con.xml.gz2004-04-08 15:29 468  
[ ]Z4_eq_is_transitive.con.body.xml.gz2004-04-08 15:29 29K 
[ ]Z4_eq_is_transitive.con.types.xml.gz2004-04-08 15:29 38K 
[ ]Z4_eq_is_transitive.con.xml.gz2004-04-08 15:29 510  
[ ]Z4_ind.con.body.xml.gz2004-04-08 15:29 430  
[ ]Z4_ind.con.types.xml.gz2004-04-08 15:29 2.0K 
[ ]Z4_ind.con.xml.gz2004-04-08 15:29 1.3K 
[ ]Z4_lt.con.body.xml.gz2004-04-08 15:29 1.7K 
[ ]Z4_lt.con.types.xml.gz2004-04-08 15:29 212  
[ ]Z4_lt.con.xml.gz2004-04-08 15:29 324  
[ ]Z4_lt_is_irreflexive.con.body.xml.gz2004-04-08 15:29 6.1K 
[ ]Z4_lt_is_irreflexive.con.types.xml.gz2004-04-08 15:29 8.0K 
[ ]Z4_lt_is_irreflexive.con.xml.gz2004-04-08 15:29 446  
[ ]Z4_lt_is_order.con.body.xml.gz2004-04-08 15:29 670  
[ ]Z4_lt_is_order.con.types.xml.gz2004-04-08 15:29 720  
[ ]Z4_lt_is_order.con.xml.gz2004-04-08 15:29 364  
[ ]Z4_lt_is_transitive.con.body.xml.gz2004-04-08 15:29 24K 
[ ]Z4_lt_is_transitive.con.types.xml.gz2004-04-08 15:29 34K 
[ ]Z4_lt_is_transitive.con.xml.gz2004-04-08 15:29 509  
[ ]Z4_lt_is_well_def_rht.con.body.xml.gz2004-04-08 15:29 27K 
[ ]Z4_lt_is_well_def_rht.con.types.xml.gz2004-04-08 15:29 35K 
[ ]Z4_lt_is_well_def_rht.con.xml.gz2004-04-08 15:29 395  
[ ]Z4_lt_is_wf.con.body.xml.gz2004-04-08 15:29 23K 
[ ]Z4_lt_is_wf.con.types.xml.gz2004-04-08 15:29 61K 
[ ]Z4_lt_is_wf.con.xml.gz2004-04-08 15:29 365  
[ ]Z4_rec.con.body.xml.gz2004-04-08 15:29 426  
[ ]Z4_rec.con.types.xml.gz2004-04-08 15:29 214  
[ ]Z4_rec.con.xml.gz2004-04-08 15:29 1.3K 
[ ]Z4_rect.con.body.xml.gz2004-04-08 15:29 1.4K 
[ ]Z4_rect.con.types.xml.gz2004-04-08 15:29 216  
[ ]Z4_rect.con.xml.gz2004-04-08 15:29 1.3K 
[ ]Z_pos.ind.types.xml.gz2004-04-08 15:29 212  
[ ]Z_pos.ind.xml.gz2004-04-08 15:29 513  
[ ]Z_pos_ind.con.body.xml.gz2004-04-08 15:29 434  
[ ]Z_pos_ind.con.types.xml.gz2004-04-08 15:29 764  
[ ]Z_pos_ind.con.xml.gz2004-04-08 15:29 623  
[ ]Z_pos_lt_is_wf.con.body.xml.gz2004-04-08 15:29 2.3K 
[ ]Z_pos_lt_is_wf.con.types.xml.gz2004-04-08 15:29 2.4K 
[ ]Z_pos_lt_is_wf.con.xml.gz2004-04-08 15:29 668  
[ ]Z_pos_rec.con.body.xml.gz2004-04-08 15:29 429  
[ ]Z_pos_rec.con.types.xml.gz2004-04-08 15:29 219  
[ ]Z_pos_rec.con.xml.gz2004-04-08 15:29 621  
[ ]Z_pos_rect.con.body.xml.gz2004-04-08 15:29 759  
[ ]Z_pos_rect.con.types.xml.gz2004-04-08 15:29 220  
[ ]Z_pos_rect.con.xml.gz2004-04-08 15:29 619  
[ ]bin_eq.con.body.xml.gz2004-04-08 15:29 418  
[ ]bin_eq.con.types.xml.gz2004-04-08 15:29 213  
[ ]bin_eq.con.xml.gz2004-04-08 15:29 311  
[ ]bin_eq_is_equality.con.body.xml.gz2004-04-08 15:29 1.0K 
[ ]bin_eq_is_equality.con.types.xml.gz2004-04-08 15:29 1.0K 
[ ]bin_eq_is_equality.con.xml.gz2004-04-08 15:29 370  
[ ]bin_eq_is_reflexive.con.body.xml.gz2004-04-08 15:29 436  
[ ]bin_eq_is_reflexive.con.types.xml.gz2004-04-08 15:29 534  
[ ]bin_eq_is_reflexive.con.xml.gz2004-04-08 15:29 407  
[ ]bin_eq_is_symmetric.con.body.xml.gz2004-04-08 15:29 501  
[ ]bin_eq_is_symmetric.con.types.xml.gz2004-04-08 15:29 632  
[ ]bin_eq_is_symmetric.con.xml.gz2004-04-08 15:29 469  
[ ]bin_eq_is_transitive.con.body.xml.gz2004-04-08 15:29 531  
[ ]bin_eq_is_transitive.con.types.xml.gz2004-04-08 15:29 728  
[ ]bin_eq_is_transitive.con.xml.gz2004-04-08 15:29 505  
[ ]bin_lt.con.body.xml.gz2004-04-08 15:29 462  
[ ]bin_lt.con.types.xml.gz2004-04-08 15:29 213  
[ ]bin_lt.con.xml.gz2004-04-08 15:29 311  
[ ]bin_lt_compat_via_length.con.body.xml.gz2004-04-08 15:29 476  
[ ]bin_lt_compat_via_length.con.types.xml.gz2004-04-08 15:29 661  
[ ]bin_lt_compat_via_length.con.xml.gz2004-04-08 15:29 528  
[ ]bin_lt_is_irreflexive.con.body.xml.gz2004-04-08 15:29 452  
[ ]bin_lt_is_irreflexive.con.types.xml.gz2004-04-08 15:29 609  
[ ]bin_lt_is_irreflexive.con.xml.gz2004-04-08 15:29 443  
[ ]bin_lt_is_order.con.body.xml.gz2004-04-08 15:29 672  
[ ]bin_lt_is_order.con.types.xml.gz2004-04-08 15:29 723  
[ ]bin_lt_is_order.con.xml.gz2004-04-08 15:29 364  
[ ]bin_lt_is_transitive.con.body.xml.gz2004-04-08 15:29 523  
[ ]bin_lt_is_transitive.con.types.xml.gz2004-04-08 15:29 808  
[ ]bin_lt_is_transitive.con.xml.gz2004-04-08 15:29 506  
[ ]bin_lt_is_well_def_rht.con.body.xml.gz2004-04-08 15:29 672  
[ ]bin_lt_is_well_def_rht.con.types.xml.gz2004-04-08 15:29 772  
[ ]bin_lt_is_well_def_rht.con.xml.gz2004-04-08 15:29 394  
[ ]bin_lt_is_wf.con.body.xml.gz2004-04-08 15:29 622  
[ ]bin_lt_is_wf.con.types.xml.gz2004-04-08 15:29 1.2K 
[ ]bin_lt_is_wf.con.xml.gz2004-04-08 15:29 362  
[ ]compare_dL.con.body.xml.gz2004-04-08 15:29 478  
[ ]compare_dL.con.types.xml.gz2004-04-08 15:29 636  
[ ]compare_dL.con.xml.gz2004-04-08 15:29 427  
[ ]compare_nR.con.body.xml.gz2004-04-08 15:29 478  
[ ]compare_nR.con.types.xml.gz2004-04-08 15:29 638  
[ ]compare_nR.con.xml.gz2004-04-08 15:29 427  
[ ]five_non_negative.con.body.xml.gz2004-04-08 15:29 394  
[ ]five_non_negative.con.types.xml.gz2004-04-08 15:29 429  
[ ]five_non_negative.con.xml.gz2004-04-08 15:29 381  
[ ]four_non_negative.con.body.xml.gz2004-04-08 15:29 394  
[ ]four_non_negative.con.types.xml.gz2004-04-08 15:29 429  
[ ]four_non_negative.con.xml.gz2004-04-08 15:29 379  
[ ]homographicAcc.ind.types.xml.gz2004-04-08 15:28 220  
[ ]homographicAcc.ind.xml.gz2004-04-08 15:28 2.1K 
[ ]homographicAcc_ind.con.body.xml.gz2004-04-08 15:28 5.5K 
[ ]homographicAcc_ind.con.types.xml.gz2004-04-08 15:28 5.5K 
[ ]homographicAcc_ind.con.xml.gz2004-04-08 15:28 2.6K 
[ ]homographicAcc_ind_dep.con.body.xml.gz2004-04-08 15:29 6.1K 
[ ]homographicAcc_ind_dep.con.types.xml.gz2004-04-08 15:29 7.8K 
[ ]homographicAcc_ind_dep.con.xml.gz2004-04-08 15:29 3.3K 
[ ]homographicAcc_wf.con.body.xml.gz2004-04-08 15:29 30K 
[ ]homographicAcc_wf.con.types.xml.gz2004-04-08 15:29 32K 
[ ]homographicAcc_wf.con.xml.gz2004-04-08 15:29 763  
[ ]homographicacc_0_denom.con.body.xml.gz2004-04-08 15:28 607  
[ ]homographicacc_0_denom.con.types.xml.gz2004-04-08 15:28 677  
[ ]homographicacc_0_denom.con.xml.gz2004-04-08 15:28 584  
[ ]homographicacc_0_denom_subproof.con.body.xml.gz2004-04-08 15:28 24K 
[ ]homographicacc_0_denom_subproof.con.types.xml.gz2004-04-08 15:28 30K 
[ ]homographicacc_0_denom_subproof.con.xml.gz2004-04-08 15:28 605  
[ ]homographicacc_0_num.con.body.xml.gz2004-04-08 15:28 604  
[ ]homographicacc_0_num.con.types.xml.gz2004-04-08 15:28 677  
[ ]homographicacc_0_num.con.xml.gz2004-04-08 15:28 583  
[ ]homographicacc_0_num_subproof.con.body.xml.gz2004-04-08 15:28 24K 
[ ]homographicacc_0_num_subproof.con.types.xml.gz2004-04-08 15:28 30K 
[ ]homographicacc_0_num_subproof.con.xml.gz2004-04-08 15:28 603  
[ ]homographicacc_1.con.body.xml.gz2004-04-08 15:28 3.7K 
[ ]homographicacc_1.con.types.xml.gz2004-04-08 15:28 4.2K 
[ ]homographicacc_1.con.xml.gz2004-04-08 15:28 771  
[ ]homographicacc_2.con.body.xml.gz2004-04-08 15:28 4.0K 
[ ]homographicacc_2.con.types.xml.gz2004-04-08 15:28 4.6K 
[ ]homographicacc_2.con.xml.gz2004-04-08 15:28 828  
[ ]homographicacc_3'.con.body.xml.gz2004-04-08 15:29 5.6K 
[ ]homographicacc_3'.con.types.xml.gz2004-04-08 15:29 6.4K 
[ ]homographicacc_3'.con.xml.gz2004-04-08 15:29 858  
[ ]homographicacc_3.con.body.xml.gz2004-04-08 15:28 5.7K 
[ ]homographicacc_3.con.types.xml.gz2004-04-08 15:29 6.5K 
[ ]homographicacc_3.con.xml.gz2004-04-08 15:28 852  
[ ]homographicacc_wf_for_five_over_five.con.body.xml.gz2004-04-08 15:29 603  
[ ]homographicacc_wf_for_five_over_five.con.types.xml.gz2004-04-08 15:29 534  
[ ]homographicacc_wf_for_five_over_five.con.xml.gz2004-04-08 15:29 516  
[ ]one_non_negative.con.body.xml.gz2004-04-08 15:29 354  
[ ]one_non_negative.con.types.xml.gz2004-04-08 15:29 399  
[ ]one_non_negative.con.xml.gz2004-04-08 15:29 345  
[ ]one_plus_four_positive.con.body.xml.gz2004-04-08 15:29 400  
[ ]one_plus_four_positive.con.types.xml.gz2004-04-08 15:29 541  
[ ]one_plus_four_positive.con.xml.gz2004-04-08 15:29 415  
[ ]qle.con.body.xml.gz2004-04-08 15:29 900  
[ ]qle.con.types.xml.gz2004-04-08 15:29 208  
[ ]qle.con.xml.gz2004-04-08 15:29 376  
[ ]qlt.con.body.xml.gz2004-04-08 15:29 804  
[ ]qlt.con.types.xml.gz2004-04-08 15:29 208  
[ ]qlt.con.xml.gz2004-04-08 15:29 379  
[ ]qlt_wf_rec_without_zeros_and_One.con.body.xml.gz2004-04-08 15:29 28K 
[ ]qlt_wf_rec_without_zeros_and_One.con.types.xml.gz2004-04-08 15:29 66K 
[ ]qlt_wf_rec_without_zeros_and_One.con.xml.gz2004-04-08 15:29 1.3K 
[ ]quadrointegral_eq.con.body.xml.gz2004-04-08 15:29 700  
[ ]quadrointegral_eq.con.types.xml.gz2004-04-08 15:29 234  
[ ]quadrointegral_eq.con.xml.gz2004-04-08 15:29 370  
[ ]quadrointegral_lt.con.body.xml.gz2004-04-08 15:29 664  
[ ]quadrointegral_lt.con.types.xml.gz2004-04-08 15:29 231  
[ ]quadrointegral_lt.con.xml.gz2004-04-08 15:29 370  
[ ]seven_non_negative.con.body.xml.gz2004-04-08 15:29 396  
[ ]seven_non_negative.con.types.xml.gz2004-04-08 15:29 431  
[ ]seven_non_negative.con.xml.gz2004-04-08 15:29 381  
[ ]six_non_negative.con.body.xml.gz2004-04-08 15:29 394  
[ ]six_non_negative.con.types.xml.gz2004-04-08 15:29 428  
[ ]six_non_negative.con.xml.gz2004-04-08 15:29 379  
[ ]three_non_negative.con.body.xml.gz2004-04-08 15:29 378  
[ ]three_non_negative.con.types.xml.gz2004-04-08 15:29 417  
[ ]three_non_negative.con.xml.gz2004-04-08 15:29 369  
[ ]top_more.con.body.xml.gz2004-04-08 15:28 577  
[ ]top_more.con.types.xml.gz2004-04-08 15:28 216  
[ ]top_more.con.xml.gz2004-04-08 15:28 324  
[ ]top_more_1.con.body.xml.gz2004-04-08 15:28 2.4K 
[ ]top_more_1.con.types.xml.gz2004-04-08 15:28 2.6K 
[ ]top_more_1.con.xml.gz2004-04-08 15:28 606  
[ ]top_more_2.con.body.xml.gz2004-04-08 15:28 1.4K 
[ ]top_more_2.con.types.xml.gz2004-04-08 15:28 1.5K 
[ ]top_more_2.con.xml.gz2004-04-08 15:28 559  
[ ]top_more_3.con.body.xml.gz2004-04-08 15:28 3.8K 
[ ]top_more_3.con.types.xml.gz2004-04-08 15:28 5.2K 
[ ]top_more_3.con.xml.gz2004-04-08 15:28 591  
[ ]top_more_4'.con.body.xml.gz2004-04-08 15:28 1.3K 
[ ]top_more_4'.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]top_more_4'.con.xml.gz2004-04-08 15:28 509  
[ ]top_more_4.con.body.xml.gz2004-04-08 15:28 1.3K 
[ ]top_more_4.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]top_more_4.con.xml.gz2004-04-08 15:28 504  
[ ]top_more_5'.con.body.xml.gz2004-04-08 15:28 4.5K 
[ ]top_more_5'.con.types.xml.gz2004-04-08 15:28 5.5K 
[ ]top_more_5'.con.xml.gz2004-04-08 15:28 682  
[ ]top_more_5.con.body.xml.gz2004-04-08 15:28 4.5K 
[ ]top_more_5.con.types.xml.gz2004-04-08 15:28 5.6K 
[ ]top_more_5.con.xml.gz2004-04-08 15:28 673  
[ ]top_more_informative.con.body.xml.gz2004-04-08 15:28 6.2K 
[ ]top_more_informative.con.types.xml.gz2004-04-08 15:28 3.1K 
[ ]top_more_informative.con.xml.gz2004-04-08 15:28 577  
[ ]two_non_negative.con.body.xml.gz2004-04-08 15:29 375  
[ ]two_non_negative.con.types.xml.gz2004-04-08 15:29 414  
[ ]two_non_negative.con.xml.gz2004-04-08 15:29 364  
[ ]two_plus_three_positive.con.body.xml.gz2004-04-08 15:29 401  
[ ]two_plus_three_positive.con.types.xml.gz2004-04-08 15:29 526  
[ ]two_plus_three_positive.con.xml.gz2004-04-08 15:29 419  
[ ]z4crr.con.body.xml.gz2004-04-08 15:29 1.3K 
[ ]z4crr.con.types.xml.gz2004-04-08 15:29 213  
[ ]z4crr.con.xml.gz2004-04-08 15:29 398  
[ ]z4prf.con.body.xml.gz2004-04-08 15:29 1.9K 
[ ]z4prf.con.types.xml.gz2004-04-08 15:29 3.9K 
[ ]z4prf.con.xml.gz2004-04-08 15:29 1.1K 
[ ]z4prf_Z_pos.con.body.xml.gz2004-04-08 15:29 657  
[ ]z4prf_Z_pos.con.types.xml.gz2004-04-08 15:29 779  
[ ]z4prf_Z_pos.con.xml.gz2004-04-08 15:29 452  
[ ]zposcrr.con.body.xml.gz2004-04-08 15:29 590  
[ ]zposcrr.con.types.xml.gz2004-04-08 15:29 215  
[ ]zposcrr.con.xml.gz2004-04-08 15:29 315  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80