Index of /xml/Nijmegen/QArith/Qquadratic_Qpositive_to_Qpositive

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]z8prf.con.xml.gz2004-04-08 16:25 2.9K 
[ ]z8prf.con.types.xml.gz2004-04-08 16:25 14K 
[ ]z8prf.con.body.xml.gz2004-04-08 16:25 5.7K 
[ ]z8crr.con.xml.gz2004-04-08 16:25 463  
[ ]z8crr.con.types.xml.gz2004-04-08 16:25 212  
[ ]z8crr.con.body.xml.gz2004-04-08 16:25 3.3K 
[ ]quadraticacc_3_OO.con.xml.gz2004-04-08 16:25 1.3K 
[ ]quadraticacc_3_OO.con.types.xml.gz2004-04-08 16:25 22K 
[ ]quadraticacc_3_OO.con.body.xml.gz2004-04-08 16:25 15K 
[ ]quadraticacc_3_OI.con.xml.gz2004-04-08 16:25 1.3K 
[ ]quadraticacc_3_OI.con.types.xml.gz2004-04-08 16:25 22K 
[ ]quadraticacc_3_OI.con.body.xml.gz2004-04-08 16:25 15K 
[ ]quadraticacc_3_IO.con.xml.gz2004-04-08 16:25 1.3K 
[ ]quadraticacc_3_IO.con.types.xml.gz2004-04-08 16:25 22K 
[ ]quadraticacc_3_IO.con.body.xml.gz2004-04-08 16:25 15K 
[ ]quadraticacc_3_II.con.xml.gz2004-04-08 16:25 1.3K 
[ ]quadraticacc_3_II.con.types.xml.gz2004-04-08 16:25 22K 
[ ]quadraticacc_3_II.con.body.xml.gz2004-04-08 16:25 15K 
[ ]quadraticacc_2.con.xml.gz2004-04-08 16:25 1.1K 
[ ]quadraticacc_2.con.types.xml.gz2004-04-08 16:25 12K 
[ ]quadraticacc_2.con.body.xml.gz2004-04-08 16:25 9.9K 
[ ]quadraticacc_1.con.xml.gz2004-04-08 16:25 1.0K 
[ ]quadraticacc_1.con.types.xml.gz2004-04-08 16:25 11K 
[ ]quadraticacc_1.con.body.xml.gz2004-04-08 16:25 9.2K 
[ ]quadraticacc_0.con.xml.gz2004-04-08 16:25 842  
[ ]quadraticacc_0.con.types.xml.gz2004-04-08 16:25 152K 
[ ]quadraticacc_0.con.body.xml.gz2004-04-08 16:25 114K 
[ ]quadraticacc_0'.con.xml.gz2004-04-08 16:25 920  
[ ]quadraticacc_0'.con.types.xml.gz2004-04-08 16:25 153K 
[ ]quadraticacc_0'.con.body.xml.gz2004-04-08 16:25 114K 
[ ]quadratic_top_more_informative.con.xml.gz2004-04-08 16:25 696  
[ ]quadratic_top_more_informative.con.types.xml.gz2004-04-08 16:25 17K 
[ ]quadratic_top_more_informative.con.body.xml.gz2004-04-08 16:25 42K 
[ ]quadratic_top_more_5_subproof.con.xml.gz2004-04-08 16:25 1.0K 
[ ]quadratic_top_more_5_subproof.con.types.xml.gz2004-04-08 16:25 9.1K 
[ ]quadratic_top_more_5_subproof.con.body.xml.gz2004-04-08 16:25 5.9K 
[ ]quadratic_top_more_5.con.xml.gz2004-04-08 16:25 1.0K 
[ ]quadratic_top_more_5.con.types.xml.gz2004-04-08 16:25 3.6K 
[ ]quadratic_top_more_5.con.body.xml.gz2004-04-08 16:25 3.4K 
[ ]quadratic_top_more_5'_subproof.con.xml.gz2004-04-08 16:25 1.0K 
[ ]quadratic_top_more_5'_subproof.con.types.xml.gz2004-04-08 16:25 8.9K 
[ ]quadratic_top_more_5'_subproof.con.body.xml.gz2004-04-08 16:25 5.9K 
[ ]quadratic_top_more_5'.con.xml.gz2004-04-08 16:25 1.0K 
[ ]quadratic_top_more_5'.con.types.xml.gz2004-04-08 16:25 4.6K 
[ ]quadratic_top_more_5'.con.body.xml.gz2004-04-08 16:25 4.7K 
[ ]quadratic_top_more_4_4.con.xml.gz2004-04-08 16:25 614  
[ ]quadratic_top_more_4_4.con.types.xml.gz2004-04-08 16:25 4.9K 
[ ]quadratic_top_more_4_4.con.body.xml.gz2004-04-08 16:25 4.9K 
[ ]quadratic_top_more_4_3.con.xml.gz2004-04-08 16:25 613  
[ ]quadratic_top_more_4_3.con.types.xml.gz2004-04-08 16:25 4.8K 
[ ]quadratic_top_more_4_3.con.body.xml.gz2004-04-08 16:25 4.9K 
[ ]quadratic_top_more_4_2.con.xml.gz2004-04-08 16:25 613  
[ ]quadratic_top_more_4_2.con.types.xml.gz2004-04-08 16:25 4.9K 
[ ]quadratic_top_more_4_2.con.body.xml.gz2004-04-08 16:25 4.9K 
[ ]quadratic_top_more_4_1.con.xml.gz2004-04-08 16:25 613  
[ ]quadratic_top_more_4_1.con.types.xml.gz2004-04-08 16:25 5.0K 
[ ]quadratic_top_more_4_1.con.body.xml.gz2004-04-08 16:25 5.0K 
[ ]quadratic_top_more_3_subproof0.con.xml.gz2004-04-08 16:25 1.0K 
[ ]quadratic_top_more_3_subproof0.con.types.xml.gz2004-04-08 16:25 5.3K 
[ ]quadratic_top_more_3_subproof0.con.body.xml.gz2004-04-08 16:25 2.7K 
[ ]quadratic_top_more_3_subproof.con.xml.gz2004-04-08 16:25 969  
[ ]quadratic_top_more_3_subproof.con.types.xml.gz2004-04-08 16:25 8.6K 
[ ]quadratic_top_more_3_subproof.con.body.xml.gz2004-04-08 16:25 5.6K 
[ ]quadratic_top_more_3.con.xml.gz2004-04-08 16:25 854  
[ ]quadratic_top_more_3.con.types.xml.gz2004-04-08 16:25 3.4K 
[ ]quadratic_top_more_3.con.body.xml.gz2004-04-08 16:25 2.9K 
[ ]quadratic_top_more_2.con.xml.gz2004-04-08 16:25 745  
[ ]quadratic_top_more_2.con.types.xml.gz2004-04-08 16:25 9.7K 
[ ]quadratic_top_more_2.con.body.xml.gz2004-04-08 16:25 8.3K 
[ ]quadratic_top_more_1.con.xml.gz2004-04-08 16:25 804  
[ ]quadratic_top_more_1.con.types.xml.gz2004-04-08 16:25 14K 
[ ]quadratic_top_more_1.con.body.xml.gz2004-04-08 16:25 13K 
[ ]quadratic_top_more.con.xml.gz2004-04-08 16:25 368  
[ ]quadratic_top_more.con.types.xml.gz2004-04-08 16:25 227  
[ ]quadratic_top_more.con.body.xml.gz2004-04-08 16:25 1.1K 
[ ]quadraticAcc_wf.con.xml.gz2004-04-08 16:27 1.1K 
[ ]quadraticAcc_wf.con.types.xml.gz2004-04-08 16:27 145K 
[ ]quadraticAcc_wf.con.body.xml.gz2004-04-08 16:27 134K 
[ ]quadraticAcc_ind_dep.con.xml.gz2004-04-08 16:27 8.7K 
[ ]quadraticAcc_ind_dep.con.types.xml.gz2004-04-08 16:27 21K 
[ ]quadraticAcc_ind_dep.con.body.xml.gz2004-04-08 16:27 16K 
[ ]quadraticAcc_ind.con.xml.gz2004-04-08 16:25 7.1K 
[ ]quadraticAcc_ind.con.types.xml.gz2004-04-08 16:25 15K 
[ ]quadraticAcc_ind.con.body.xml.gz2004-04-08 16:25 15K 
[ ]quadraticAcc.ind.xml.gz2004-04-08 16:25 5.4K 
[ ]quadraticAcc.ind.types.xml.gz2004-04-08 16:25 218  
[ ]octointegral_lt.con.xml.gz2004-04-08 16:25 416  
[ ]octointegral_lt.con.types.xml.gz2004-04-08 16:25 226  
[ ]octointegral_lt.con.body.xml.gz2004-04-08 16:25 942  
[ ]octointegral_eq.con.xml.gz2004-04-08 16:25 410  
[ ]octointegral_eq.con.types.xml.gz2004-04-08 16:25 229  
[ ]octointegral_eq.con.body.xml.gz2004-04-08 16:25 1.0K 
[ ]octet_lt_wf_rec_without_zeros_and_One.con.xml.gz2004-04-08 16:27 1.9K 
[ ]octet_lt_wf_rec_without_zeros_and_One.con.types.xml.gz2004-04-08 16:27 352K 
[ ]octet_lt_wf_rec_without_zeros_and_One.con.body.xml.gz2004-04-08 16:27 141K 
[ ]octet_lt.con.xml.gz2004-04-08 16:25 455  
[ ]octet_lt.con.types.xml.gz2004-04-08 16:25 215  
[ ]octet_lt.con.body.xml.gz2004-04-08 16:25 1.1K 
[ ]octet_leq_inf.con.xml.gz2004-04-08 16:25 834  
[ ]octet_leq_inf.con.types.xml.gz2004-04-08 16:25 4.0K 
[ ]octet_leq_inf.con.body.xml.gz2004-04-08 16:25 8.7K 
[ ]bin2_lt_is_wf.con.xml.gz2004-04-08 16:27 344  
[ ]bin2_lt_is_wf.con.types.xml.gz2004-04-08 16:27 2.3K 
[ ]bin2_lt_is_wf.con.body.xml.gz2004-04-08 16:27 1.9K 
[ ]bin2_lt_is_well_def_rht.con.xml.gz2004-04-08 16:27 372  
[ ]bin2_lt_is_well_def_rht.con.types.xml.gz2004-04-08 16:27 2.1K 
[ ]bin2_lt_is_well_def_rht.con.body.xml.gz2004-04-08 16:27 2.0K 
[ ]bin2_lt_is_transitive.con.xml.gz2004-04-08 16:27 497  
[ ]bin2_lt_is_transitive.con.types.xml.gz2004-04-08 16:27 2.1K 
[ ]bin2_lt_is_transitive.con.body.xml.gz2004-04-08 16:27 1.7K 
[ ]bin2_lt_is_order.con.xml.gz2004-04-08 16:27 345  
[ ]bin2_lt_is_order.con.types.xml.gz2004-04-08 16:27 726  
[ ]bin2_lt_is_order.con.body.xml.gz2004-04-08 16:27 672  
[ ]bin2_lt_is_irreflexive.con.xml.gz2004-04-08 16:27 430  
[ ]bin2_lt_is_irreflexive.con.types.xml.gz2004-04-08 16:27 850  
[ ]bin2_lt_is_irreflexive.con.body.xml.gz2004-04-08 16:27 692  
[ ]bin2_lt.con.xml.gz2004-04-08 16:27 324  
[ ]bin2_lt.con.types.xml.gz2004-04-08 16:27 214  
[ ]bin2_lt.con.body.xml.gz2004-04-08 16:27 792  
[ ]bin2_eq_is_transitive.con.xml.gz2004-04-08 16:27 494  
[ ]bin2_eq_is_transitive.con.types.xml.gz2004-04-08 16:27 2.1K 
[ ]bin2_eq_is_transitive.con.body.xml.gz2004-04-08 16:27 1.7K 
[ ]bin2_eq_is_symmetric.con.xml.gz2004-04-08 16:27 452  
[ ]bin2_eq_is_symmetric.con.types.xml.gz2004-04-08 16:27 1.3K 
[ ]bin2_eq_is_symmetric.con.body.xml.gz2004-04-08 16:27 1.2K 
[ ]bin2_eq_is_reflexive.con.xml.gz2004-04-08 16:27 396  
[ ]bin2_eq_is_reflexive.con.types.xml.gz2004-04-08 16:27 785  
[ ]bin2_eq_is_reflexive.con.body.xml.gz2004-04-08 16:27 677  
[ ]bin2_eq_is_equality.con.xml.gz2004-04-08 16:27 351  
[ ]bin2_eq_is_equality.con.types.xml.gz2004-04-08 16:27 1.0K 
[ ]bin2_eq_is_equality.con.body.xml.gz2004-04-08 16:27 1.0K 
[ ]bin2_eq.con.xml.gz2004-04-08 16:27 326  
[ ]bin2_eq.con.types.xml.gz2004-04-08 16:27 215  
[ ]bin2_eq.con.body.xml.gz2004-04-08 16:27 785  
[ ]Z8_rect.con.xml.gz2004-04-08 16:25 3.2K 
[ ]Z8_rect.con.types.xml.gz2004-04-08 16:25 214  
[ ]Z8_rect.con.body.xml.gz2004-04-08 16:25 3.4K 
[ ]Z8_rec.con.xml.gz2004-04-08 16:25 3.2K 
[ ]Z8_rec.con.types.xml.gz2004-04-08 16:25 213  
[ ]Z8_rec.con.body.xml.gz2004-04-08 16:25 426  
[ ]Z8_lt_is_wf.con.xml.gz2004-04-08 16:26 365  
[ ]Z8_lt_is_wf.con.types.xml.gz2004-04-08 16:26 471K 
[ ]Z8_lt_is_wf.con.body.xml.gz2004-04-08 16:26 146K 
[ ]Z8_lt_is_well_def_rht.con.xml.gz2004-04-08 16:27 394  
[ ]Z8_lt_is_well_def_rht.con.types.xml.gz2004-04-08 16:27 261K 
[ ]Z8_lt_is_well_def_rht.con.body.xml.gz2004-04-08 16:27 178K 
[ ]Z8_lt_is_transitive.con.xml.gz2004-04-08 16:26 507  
[ ]Z8_lt_is_transitive.con.types.xml.gz2004-04-08 16:26 254K 
[ ]Z8_lt_is_transitive.con.body.xml.gz2004-04-08 16:26 169K 
[ ]Z8_lt_is_order.con.xml.gz2004-04-08 16:26 363  
[ ]Z8_lt_is_order.con.types.xml.gz2004-04-08 16:26 717  
[ ]Z8_lt_is_order.con.body.xml.gz2004-04-08 16:26 668  
[ ]Z8_lt_is_irreflexive.con.xml.gz2004-04-08 16:25 448  
[ ]Z8_lt_is_irreflexive.con.types.xml.gz2004-04-08 16:25 69K 
[ ]Z8_lt_is_irreflexive.con.body.xml.gz2004-04-08 16:25 43K 
[ ]Z8_lt.con.xml.gz2004-04-08 16:25 323  
[ ]Z8_lt.con.types.xml.gz2004-04-08 16:25 211  
[ ]Z8_lt.con.body.xml.gz2004-04-08 16:25 3.8K 
[ ]Z8_ind.con.xml.gz2004-04-08 16:25 3.2K 
[ ]Z8_ind.con.types.xml.gz2004-04-08 16:25 5.5K 
[ ]Z8_ind.con.body.xml.gz2004-04-08 16:25 431  
[ ]Z8_eq_is_transitive.con.xml.gz2004-04-08 16:26 510  
[ ]Z8_eq_is_transitive.con.types.xml.gz2004-04-08 16:26 277K 
[ ]Z8_eq_is_transitive.con.body.xml.gz2004-04-08 16:26 190K 
[ ]Z8_eq_is_symmetric.con.xml.gz2004-04-08 16:26 472  
[ ]Z8_eq_is_symmetric.con.types.xml.gz2004-04-08 16:26 236K 
[ ]Z8_eq_is_symmetric.con.body.xml.gz2004-04-08 16:26 145K 
[ ]Z8_eq_is_reflexive.con.xml.gz2004-04-08 16:26 407  
[ ]Z8_eq_is_reflexive.con.types.xml.gz2004-04-08 16:26 70K 
[ ]Z8_eq_is_reflexive.con.body.xml.gz2004-04-08 16:26 44K 
[ ]Z8_eq_is_equality.con.xml.gz2004-04-08 16:26 367  
[ ]Z8_eq_is_equality.con.types.xml.gz2004-04-08 16:26 1.0K 
[ ]Z8_eq_is_equality.con.body.xml.gz2004-04-08 16:26 1.0K 
[ ]Z8_eq.con.xml.gz2004-04-08 16:25 323  
[ ]Z8_eq.con.types.xml.gz2004-04-08 16:25 211  
[ ]Z8_eq.con.body.xml.gz2004-04-08 16:25 3.8K 
[ ]Z8_as_well_ordering.con.xml.gz2004-04-08 16:27 261  
[ ]Z8_as_well_ordering.con.types.xml.gz2004-04-08 16:27 239  
[ ]Z8_as_well_ordering.con.body.xml.gz2004-04-08 16:27 424  
[ ]Z8.ind.xml.gz2004-04-08 16:25 3.0K 
[ ]Z8.ind.types.xml.gz2004-04-08 16:25 205  
[ ]Qquadratic_Qpositive_to_Qpositive_equal_strong.con.xml.gz2004-04-08 16:31 1.5K 
[ ]Qquadratic_Qpositive_to_Qpositive_equal_strong.con.types.xml.gz2004-04-08 16:31 12K 
[ ]Qquadratic_Qpositive_to_Qpositive_equal_strong.con.body.xml.gz2004-04-08 16:31 8.6K 
[ ]Qquadratic_Qpositive_to_Qpositive_equal.con.xml.gz2004-04-08 16:31 1.0K 
[ ]Qquadratic_Qpositive_to_Qpositive_equal.con.types.xml.gz2004-04-08 16:31 1.5M 
[ ]Qquadratic_Qpositive_to_Qpositive_equal.con.body.xml.gz2004-04-08 16:31 627K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_OO.con.xml.gz2004-04-08 16:32 1.7K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_OO.con.types.xml.gz2004-04-08 16:32 30K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_OO.con.body.xml.gz2004-04-08 16:32 10K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_OI.con.xml.gz2004-04-08 16:32 1.7K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_OI.con.types.xml.gz2004-04-08 16:32 30K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_OI.con.body.xml.gz2004-04-08 16:32 10K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_IO.con.xml.gz2004-04-08 16:32 1.7K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_IO.con.types.xml.gz2004-04-08 16:32 30K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_IO.con.body.xml.gz2004-04-08 16:32 10K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_II.con.xml.gz2004-04-08 16:32 1.7K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_II.con.types.xml.gz2004-04-08 16:32 30K 
[ ]Qquadratic_Qpositive_to_Qpositive_3_II.con.body.xml.gz2004-04-08 16:32 10K 
[ ]Qquadratic_Qpositive_to_Qpositive_2.con.xml.gz2004-04-08 16:32 1.5K 
[ ]Qquadratic_Qpositive_to_Qpositive_2.con.types.xml.gz2004-04-08 16:32 163K 
[ ]Qquadratic_Qpositive_to_Qpositive_2.con.body.xml.gz2004-04-08 16:32 40K 
[ ]Qquadratic_Qpositive_to_Qpositive_1.con.xml.gz2004-04-08 16:31 1.4K 
[ ]Qquadratic_Qpositive_to_Qpositive_1.con.types.xml.gz2004-04-08 16:31 133K 
[ ]Qquadratic_Qpositive_to_Qpositive_1.con.body.xml.gz2004-04-08 16:31 34K 
[ ]Qquadratic_Qpositive_to_Qpositive_0.con.xml.gz2004-04-08 16:31 1.1K 
[ ]Qquadratic_Qpositive_to_Qpositive_0.con.types.xml.gz2004-04-08 16:31 2.8K 
[ ]Qquadratic_Qpositive_to_Qpositive_0.con.body.xml.gz2004-04-08 16:31 2.2K 
[ ]Qquadratic_Qpositive_to_Qpositive_0'.con.xml.gz2004-04-08 16:31 1.2K 
[ ]Qquadratic_Qpositive_to_Qpositive_0'.con.types.xml.gz2004-04-08 16:31 9.0K 
[ ]Qquadratic_Qpositive_to_Qpositive_0'.con.body.xml.gz2004-04-08 16:31 4.2K 
[ ]Qquadratic_Qpositive_to_Qpositive.con.xml.gz2004-04-08 16:25 618  
[ ]Qquadratic_Qpositive_to_Qpositive.con.types.xml.gz2004-04-08 16:25 2.6K 
[ ]Qquadratic_Qpositive_to_Qpositive.con.body.xml.gz2004-04-08 16:25 8.5K 
[ ]Qpositive2_as_well_ordering.con.xml.gz2004-04-08 16:27 274  
[ ]Qpositive2_as_well_ordering.con.types.xml.gz2004-04-08 16:27 249  
[ ]Qpositive2_as_well_ordering.con.body.xml.gz2004-04-08 16:27 424  
[ ]Qpositive2.con.xml.gz2004-04-08 16:27 208  
[ ]Qpositive2.con.types.xml.gz2004-04-08 16:27 216  
[ ]Qpositive2.con.body.xml.gz2004-04-08 16:27 318  
[ ]INDEX2005-07-05 08:11 5.0K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80