Index of /xml/Coq/ZArith/Zpower

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]shift.con.types.xml.gz2004-04-08 01:30 192  
[ ]Zpower.con.types.xml.gz2004-04-08 01:30 193  
[ ]two_p.con.types.xml.gz2004-04-08 01:30 193  
[ ]Zdiv_rest.con.types.xml.gz2004-04-08 01:30 200  
[ ]shift_pos.con.types.xml.gz2004-04-08 01:30 200  
[ ]Zpower_nat.con.types.xml.gz2004-04-08 01:30 201  
[ ]Zpower_pos.con.types.xml.gz2004-04-08 01:30 201  
[ ]shift_nat.con.types.xml.gz2004-04-08 01:30 201  
[ ]two_power_nat.con.types.xml.gz2004-04-08 01:30 206  
[ ]two_power_pos.con.types.xml.gz2004-04-08 01:30 206  
[ ]Zdiv_rest_aux.con.types.xml.gz2004-04-08 01:30 208  
[ ]Zdiv_rest_proofs.ind.types.xml.gz2004-04-08 01:30 211  
[ ]Zdiv_rest_proofs_rec.con.types.xml.gz2004-04-08 01:30 219  
[ ]Zdiv_rest_proofs_rect.con.types.xml.gz2004-04-08 01:30 221  
[ ]two_p.con.xml.gz2004-04-08 01:30 279  
[ ]Zpower.con.xml.gz2004-04-08 01:30 290  
[ ]shift_pos.con.xml.gz2004-04-08 01:30 298  
[ ]shift.con.xml.gz2004-04-08 01:30 302  
[ ]two_power_nat.con.xml.gz2004-04-08 01:30 306  
[ ]two_power_pos.con.xml.gz2004-04-08 01:30 306  
[ ]Zpower_nat.con.xml.gz2004-04-08 01:30 310  
[ ]Zpower_pos.con.xml.gz2004-04-08 01:30 311  
[ ]shift_nat.con.xml.gz2004-04-08 01:30 312  
[ ]Zdiv_rest.con.xml.gz2004-04-08 01:30 362  
[ ]Zdiv_rest_aux.con.xml.gz2004-04-08 01:30 400  
[ ]Zdiv_rest_correct.con.xml.gz2004-04-08 01:30 411  
[ ]shift_pos.con.body.xml.gz2004-04-08 01:30 433  
[ ]two_power_pos.con.body.xml.gz2004-04-08 01:30 436  
[ ]two_power_nat.con.body.xml.gz2004-04-08 01:30 443  
[ ]shift_nat.con.body.xml.gz2004-04-08 01:30 448  
[ ]two_p_gt_ZERO.con.xml.gz2004-04-08 01:30 459  
[ ]shift_pos_nat.con.body.xml.gz2004-04-08 01:30 462  
[ ]two_power_pos_nat.con.xml.gz2004-04-08 01:30 475  
[ ]two_p_pred.con.xml.gz2004-04-08 01:30 485  
[ ]shift_nat_plus.con.body.xml.gz2004-04-08 01:30 492  
[ ]shift_pos_nat.con.xml.gz2004-04-08 01:30 494  
[ ]Zpower_pos_nat.con.xml.gz2004-04-08 01:30 502  
[ ]two_power_nat_S.con.body.xml.gz2004-04-08 01:30 515  
[ ]two_power_pos_correct.con.xml.gz2004-04-08 01:30 523  
[ ]Zpower_pos.con.body.xml.gz2004-04-08 01:30 525  
[ ]two_power_nat_correct.con.xml.gz2004-04-08 01:30 528  
[ ]Zpower_nat.con.body.xml.gz2004-04-08 01:30 533  
[ ]two_power_pos_is_exp.con.xml.gz2004-04-08 01:30 535  
[ ]Zdiv_rest_proofs_rec.con.body.xml.gz2004-04-08 01:30 543  
[ ]two_power_nat_S.con.xml.gz2004-04-08 01:30 544  
[ ]Zdiv_rest_proofs_ind.con.body.xml.gz2004-04-08 01:30 549  
[ ]Zpower_pos_nat.con.body.xml.gz2004-04-08 01:30 555  
[ ]shift_nat_plus.con.xml.gz2004-04-08 01:30 557  
[ ]two_p_S.con.xml.gz2004-04-08 01:30 564  
[ ]Zlt_lt_double.con.xml.gz2004-04-08 01:30 574  
[ ]Zpower_nat_is_exp.con.xml.gz2004-04-08 01:30 577  
[ ]Zpower_pos_is_exp.con.xml.gz2004-04-08 01:30 578  
[ ]two_p.con.body.xml.gz2004-04-08 01:30 583  
[ ]shift_pos_correct.con.xml.gz2004-04-08 01:30 588  
[ ]two_p_is_exp.con.xml.gz2004-04-08 01:30 598  
[ ]shift.con.body.xml.gz2004-04-08 01:30 602  
[ ]shift_nat_correct.con.xml.gz2004-04-08 01:30 604  
[ ]Zpower.con.body.xml.gz2004-04-08 01:30 607  
[ ]Zpower_exp.con.xml.gz2004-04-08 01:30 632  
[ ]two_power_pos_nat.con.body.xml.gz2004-04-08 01:30 638  
[ ]shift_pos_nat.con.types.xml.gz2004-04-08 01:30 749  
[ ]Zdiv_rest_proofs.ind.xml.gz2004-04-08 01:30 789  
[ ]two_power_pos_nat.con.types.xml.gz2004-04-08 01:30 812  
[ ]two_power_nat_S.con.types.xml.gz2004-04-08 01:30 822  
[ ]Zdiv_rest.con.body.xml.gz2004-04-08 01:30 846  
[ ]shift_nat_plus.con.types.xml.gz2004-04-08 01:30 867  
[ ]Zpower_pos_nat.con.types.xml.gz2004-04-08 01:30 901  
[ ]Zdiv_rest_correct1.con.xml.gz2004-04-08 01:30 923  
[ ]two_p_S.con.body.xml.gz2004-04-08 01:30 932  
[ ]Zdiv_rest_proofs_rect.con.xml.gz2004-04-08 01:30 968  
[ ]Zdiv_rest_proofs_rec.con.xml.gz2004-04-08 01:30 969  
[ ]Zdiv_rest_proofs_ind.con.xml.gz2004-04-08 01:30 970  
[ ]Zlt_lt_double.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]two_power_pos_correct.con.types.xml.gz2004-04-08 01:30 1.0K 
[ ]two_power_pos_correct.con.body.xml.gz2004-04-08 01:30 1.0K 
[ ]Zdiv_rest_proofs_rect.con.body.xml.gz2004-04-08 01:30 1.1K 
[ ]shift_pos_correct.con.body.xml.gz2004-04-08 01:30 1.2K 
[ ]Zdiv_rest_correct2.con.xml.gz2004-04-08 01:30 1.2K 
[ ]two_power_nat_S.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]two_p_S.con.types.xml.gz2004-04-08 01:30 1.2K 
[ ]shift_pos_correct.con.types.xml.gz2004-04-08 01:30 1.3K 
[ ]Zdiv_rest_proofs_ind.con.types.xml.gz2004-04-08 01:30 1.3K 
[ ]two_power_nat_correct.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]two_power_pos_correct.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]two_power_pos_is_exp.con.types.xml.gz2004-04-08 01:30 1.4K 
[ ]two_power_pos_is_exp.con.body.xml.gz2004-04-08 01:30 1.5K 
[ ]two_p_S.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zpower_pos_is_exp.con.types.xml.gz2004-04-08 01:30 1.7K 
[ ]Zdiv_rest_correct.con.types.xml.gz2004-04-08 01:30 1.7K 
[ ]shift_nat_plus.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]shift_pos_correct.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zpower_pos_is_exp.con.body.xml.gz2004-04-08 01:30 1.8K 
[ ]two_power_pos_nat.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]shift_pos_nat.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]two_power_pos_is_exp.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zpower_pos_nat.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zdiv_rest_aux.con.body.xml.gz2004-04-08 01:30 2.0K 
[ ]Zpower_pos_is_exp.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]INDEX2005-07-05 08:11 2.0K 
[ ]two_p_gt_ZERO.con.body.xml.gz2004-04-08 01:30 2.1K 
[ ]two_p_gt_ZERO.con.types.xml.gz2004-04-08 01:30 2.5K 
[ ]Zpower_nat_is_exp.con.body.xml.gz2004-04-08 01:30 2.5K 
[ ]shift_nat_correct.con.body.xml.gz2004-04-08 01:30 2.6K 
[ ]two_p_gt_ZERO.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]shift_nat_correct.con.types.xml.gz2004-04-08 01:30 3.2K 
[ ]two_power_nat_correct.con.types.xml.gz2004-04-08 01:30 3.4K 
[ ]two_power_nat_correct.con.body.xml.gz2004-04-08 01:30 3.6K 
[ ]Zpower_nat_is_exp.con.types.xml.gz2004-04-08 01:30 4.2K 
[ ]Zdiv_rest_correct.con.body.xml.gz2004-04-08 01:30 4.3K 
[ ]shift_nat_correct.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]Zpower_exp.con.body.xml.gz2004-04-08 01:30 4.5K 
[ ]two_p_pred.con.proof_tree.xml.gz2004-04-09 18:52 4.7K 
[ ]two_p_is_exp.con.body.xml.gz2004-04-08 01:30 5.1K 
[ ]Zdiv_rest_correct.con.proof_tree.xml.gz2004-04-09 18:52 6.1K 
[ ]Zpower_nat_is_exp.con.proof_tree.xml.gz2004-04-09 18:52 6.4K 
[ ]Zpower_exp.con.types.xml.gz2004-04-08 01:30 7.5K 
[ ]Zpower_exp.con.proof_tree.xml.gz2004-04-09 18:52 7.6K 
[ ]two_p_is_exp.con.types.xml.gz2004-04-08 01:30 7.6K 
[ ]Zdiv_rest_correct1.con.body.xml.gz2004-04-08 01:30 8.1K 
[ ]Zlt_lt_double.con.types.xml.gz2004-04-08 01:30 8.4K 
[ ]Zlt_lt_double.con.body.xml.gz2004-04-08 01:30 9.7K 
[ ]two_p_is_exp.con.proof_tree.xml.gz2004-04-09 18:52 9.9K 
[ ]two_p_pred.con.types.xml.gz2004-04-08 01:30 11K 
[ ]two_p_pred.con.body.xml.gz2004-04-08 01:30 14K 
[ ]Zdiv_rest_correct1.con.types.xml.gz2004-04-08 01:30 16K 
[ ]Zdiv_rest_correct1.con.proof_tree.xml.gz2004-04-09 18:52 17K 
[ ]Zdiv_rest_correct2.con.proof_tree.xml.gz2004-04-09 18:52 39K 
[ ]Zdiv_rest_correct2.con.types.xml.gz2004-04-08 01:30 209K 
[ ]Zdiv_rest_correct2.con.body.xml.gz2004-04-08 01:30 227K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80