Index of /xml/Coq/ZArith/Zbinary

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 1.5K 
[ ]Pdiv2.con.body.xml.gz2004-04-08 01:31 2.0K 
[ ]Pdiv2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Pdiv2.con.types.xml.gz2004-04-08 01:31 2.6K 
[ ]Pdiv2.con.xml.gz2004-04-08 01:31 440  
[ ]Z_div2_value.con.body.xml.gz2004-04-08 01:31 1.9K 
[ ]Z_div2_value.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Z_div2_value.con.types.xml.gz2004-04-08 01:31 3.7K 
[ ]Z_div2_value.con.xml.gz2004-04-08 01:31 619  
[ ]Z_to_binary.con.body.xml.gz2004-04-08 01:31 727  
[ ]Z_to_binary.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Z_to_binary.con.types.xml.gz2004-04-08 01:31 204  
[ ]Z_to_binary.con.xml.gz2004-04-08 01:31 395  
[ ]Z_to_binary_Sn.con.body.xml.gz2004-04-08 01:31 3.3K 
[ ]Z_to_binary_Sn.con.proof_tree.xml.gz2004-04-09 18:52 6.7K 
[ ]Z_to_binary_Sn.con.types.xml.gz2004-04-08 01:31 6.4K 
[ ]Z_to_binary_Sn.con.xml.gz2004-04-08 01:31 775  
[ ]Z_to_binary_Sn_z.con.body.xml.gz2004-04-08 01:31 603  
[ ]Z_to_binary_Sn_z.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Z_to_binary_Sn_z.con.types.xml.gz2004-04-08 01:31 1.0K 
[ ]Z_to_binary_Sn_z.con.xml.gz2004-04-08 01:31 629  
[ ]Z_to_binary_to_Z.con.body.xml.gz2004-04-08 01:31 6.4K 
[ ]Z_to_binary_to_Z.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]Z_to_binary_to_Z.con.types.xml.gz2004-04-08 01:31 6.3K 
[ ]Z_to_binary_to_Z.con.xml.gz2004-04-08 01:31 606  
[ ]Z_to_two_compl.con.body.xml.gz2004-04-08 01:31 847  
[ ]Z_to_two_compl.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Z_to_two_compl.con.types.xml.gz2004-04-08 01:31 210  
[ ]Z_to_two_compl.con.xml.gz2004-04-08 01:31 434  
[ ]Z_to_two_compl_Sn.con.body.xml.gz2004-04-08 01:31 4.7K 
[ ]Z_to_two_compl_Sn.con.proof_tree.xml.gz2004-04-09 18:52 7.7K 
[ ]Z_to_two_compl_Sn.con.types.xml.gz2004-04-08 01:31 9.4K 
[ ]Z_to_two_compl_Sn.con.xml.gz2004-04-08 01:31 773  
[ ]Z_to_two_compl_Sn_z.con.body.xml.gz2004-04-08 01:31 651  
[ ]Z_to_two_compl_Sn_z.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Z_to_two_compl_Sn_z.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]Z_to_two_compl_Sn_z.con.xml.gz2004-04-08 01:31 672  
[ ]Z_to_two_compl_to_Z.con.body.xml.gz2004-04-08 01:31 25K 
[ ]Z_to_two_compl_to_Z.con.proof_tree.xml.gz2004-04-09 18:52 6.3K 
[ ]Z_to_two_compl_to_Z.con.types.xml.gz2004-04-08 01:31 24K 
[ ]Z_to_two_compl_to_Z.con.xml.gz2004-04-08 01:31 625  
[ ]Zdiv2_two_power_nat.con.body.xml.gz2004-04-08 01:31 24K 
[ ]Zdiv2_two_power_nat.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]Zdiv2_two_power_nat.con.types.xml.gz2004-04-08 01:31 19K 
[ ]Zdiv2_two_power_nat.con.xml.gz2004-04-08 01:31 590  
[ ]Zeven_bit_value.con.body.xml.gz2004-04-08 01:31 2.4K 
[ ]Zeven_bit_value.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]Zeven_bit_value.con.types.xml.gz2004-04-08 01:31 3.6K 
[ ]Zeven_bit_value.con.xml.gz2004-04-08 01:31 498  
[ ]Zge_minus_two_power_nat_S.con.body.xml.gz2004-04-08 01:31 33K 
[ ]Zge_minus_two_power_nat_S.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]Zge_minus_two_power_nat_S.con.types.xml.gz2004-04-08 01:31 27K 
[ ]Zge_minus_two_power_nat_S.con.xml.gz2004-04-08 01:31 591  
[ ]Zlt_two_power_nat_S.con.body.xml.gz2004-04-08 01:31 32K 
[ ]Zlt_two_power_nat_S.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]Zlt_two_power_nat_S.con.types.xml.gz2004-04-08 01:31 26K 
[ ]Zlt_two_power_nat_S.con.xml.gz2004-04-08 01:31 558  
[ ]Zmod2.con.body.xml.gz2004-04-08 01:31 882  
[ ]Zmod2.con.types.xml.gz2004-04-08 01:31 195  
[ ]Zmod2.con.xml.gz2004-04-08 01:31 279  
[ ]Zmod2_twice.con.body.xml.gz2004-04-08 01:31 3.3K 
[ ]Zmod2_twice.con.proof_tree.xml.gz2004-04-09 18:52 6.0K 
[ ]Zmod2_twice.con.types.xml.gz2004-04-08 01:31 9.4K 
[ ]Zmod2_twice.con.xml.gz2004-04-08 01:31 575  
[ ]Zodd_bit_value.con.body.xml.gz2004-04-08 01:31 2.5K 
[ ]Zodd_bit_value.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]Zodd_bit_value.con.types.xml.gz2004-04-08 01:31 4.1K 
[ ]Zodd_bit_value.con.xml.gz2004-04-08 01:31 527  
[ ]binary_to_Z_to_binary.con.body.xml.gz2004-04-08 01:31 2.5K 
[ ]binary_to_Z_to_binary.con.proof_tree.xml.gz2004-04-09 18:52 719  
[ ]binary_to_Z_to_binary.con.types.xml.gz2004-04-08 01:31 2.6K 
[ ]binary_to_Z_to_binary.con.xml.gz2004-04-08 01:31 528  
[ ]binary_value.con.body.xml.gz2004-04-08 01:31 3.0K 
[ ]binary_value.con.proof_tree.xml.gz2004-04-09 18:52 6.6K 
[ ]binary_value.con.types.xml.gz2004-04-08 01:31 908  
[ ]binary_value.con.xml.gz2004-04-08 01:31 397  
[ ]binary_value_Sn.con.body.xml.gz2004-04-08 01:31 671  
[ ]binary_value_Sn.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]binary_value_Sn.con.types.xml.gz2004-04-08 01:31 1.2K 
[ ]binary_value_Sn.con.xml.gz2004-04-08 01:31 771  
[ ]binary_value_pos.con.body.xml.gz2004-04-08 01:31 3.3K 
[ ]binary_value_pos.con.proof_tree.xml.gz2004-04-09 18:52 649  
[ ]binary_value_pos.con.types.xml.gz2004-04-08 01:31 6.6K 
[ ]binary_value_pos.con.xml.gz2004-04-08 01:31 495  
[ ]binary_value_pos_subproof.con.body.xml.gz2004-04-08 01:31 1.3K 
[ ]binary_value_pos_subproof.con.proof_tree.xml.gz2004-04-09 18:52 661  
[ ]binary_value_pos_subproof.con.types.xml.gz2004-04-08 01:31 1.4K 
[ ]binary_value_pos_subproof.con.xml.gz2004-04-08 01:31 579  
[ ]bit_value.con.body.xml.gz2004-04-08 01:31 523  
[ ]bit_value.con.types.xml.gz2004-04-08 01:31 201  
[ ]bit_value.con.xml.gz2004-04-08 01:31 300  
[ ]two_compl_to_Z_to_two_compl.con.body.xml.gz2004-04-08 01:31 3.7K 
[ ]two_compl_to_Z_to_two_compl.con.proof_tree.xml.gz2004-04-09 18:52 900  
[ ]two_compl_to_Z_to_two_compl.con.types.xml.gz2004-04-08 01:31 4.6K 
[ ]two_compl_to_Z_to_two_compl.con.xml.gz2004-04-08 01:31 655  
[ ]two_compl_value.con.body.xml.gz2004-04-08 01:31 4.7K 
[ ]two_compl_value.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]two_compl_value.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]two_compl_value.con.xml.gz2004-04-08 01:31 435  
[ ]two_compl_value_Sn.con.body.xml.gz2004-04-08 01:31 694  
[ ]two_compl_value_Sn.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]two_compl_value_Sn.con.types.xml.gz2004-04-08 01:31 1.2K 
[ ]two_compl_value_Sn.con.xml.gz2004-04-08 01:31 756  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80