Index of /xml/Coq/ZArith/Zbool

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 1.5K 
[ ]Z_eq_bool.con.body.xml.gz2004-04-08 01:29 590  
[ ]Z_eq_bool.con.types.xml.gz2004-04-08 01:29 199  
[ ]Z_eq_bool.con.xml.gz2004-04-08 01:29 657  
[ ]Z_ge_lt_bool.con.body.xml.gz2004-04-08 01:29 547  
[ ]Z_ge_lt_bool.con.types.xml.gz2004-04-08 01:29 203  
[ ]Z_ge_lt_bool.con.xml.gz2004-04-08 01:29 619  
[ ]Z_gt_le_bool.con.body.xml.gz2004-04-08 01:29 547  
[ ]Z_gt_le_bool.con.types.xml.gz2004-04-08 01:29 203  
[ ]Z_gt_le_bool.con.xml.gz2004-04-08 01:29 619  
[ ]Z_le_gt_bool.con.body.xml.gz2004-04-08 01:29 547  
[ ]Z_le_gt_bool.con.types.xml.gz2004-04-08 01:29 203  
[ ]Z_le_gt_bool.con.xml.gz2004-04-08 01:29 619  
[ ]Z_lt_ge_bool.con.body.xml.gz2004-04-08 01:29 547  
[ ]Z_lt_ge_bool.con.types.xml.gz2004-04-08 01:29 203  
[ ]Z_lt_ge_bool.con.xml.gz2004-04-08 01:29 619  
[ ]Z_noteq_bool.con.body.xml.gz2004-04-08 01:29 553  
[ ]Z_noteq_bool.con.types.xml.gz2004-04-08 01:29 203  
[ ]Z_noteq_bool.con.xml.gz2004-04-08 01:29 667  
[ ]Zeq_bool.con.body.xml.gz2004-04-08 01:29 552  
[ ]Zeq_bool.con.types.xml.gz2004-04-08 01:29 197  
[ ]Zeq_bool.con.xml.gz2004-04-08 01:29 308  
[ ]Zeven_odd_bool.con.body.xml.gz2004-04-08 01:29 460  
[ ]Zeven_odd_bool.con.types.xml.gz2004-04-08 01:29 206  
[ ]Zeven_odd_bool.con.xml.gz2004-04-08 01:29 600  
[ ]Zge_bool.con.body.xml.gz2004-04-08 01:29 554  
[ ]Zge_bool.con.types.xml.gz2004-04-08 01:29 197  
[ ]Zge_bool.con.xml.gz2004-04-08 01:29 308  
[ ]Zge_cases.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]Zge_cases.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zge_cases.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zge_cases.con.xml.gz2004-04-08 01:29 570  
[ ]Zge_is_le_bool.con.body.xml.gz2004-04-08 01:29 905  
[ ]Zge_is_le_bool.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zge_is_le_bool.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zge_is_le_bool.con.xml.gz2004-04-08 01:29 534  
[ ]Zgt_bool.con.body.xml.gz2004-04-08 01:29 552  
[ ]Zgt_bool.con.types.xml.gz2004-04-08 01:29 197  
[ ]Zgt_bool.con.xml.gz2004-04-08 01:29 308  
[ ]Zgt_cases.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]Zgt_cases.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zgt_cases.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zgt_cases.con.xml.gz2004-04-08 01:29 570  
[ ]Zgt_is_le_bool.con.body.xml.gz2004-04-08 01:29 915  
[ ]Zgt_is_le_bool.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zgt_is_le_bool.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zgt_is_le_bool.con.xml.gz2004-04-08 01:29 598  
[ ]Zle_bool.con.body.xml.gz2004-04-08 01:29 552  
[ ]Zle_bool.con.types.xml.gz2004-04-08 01:29 197  
[ ]Zle_bool.con.xml.gz2004-04-08 01:29 308  
[ ]Zle_bool_antisym.con.body.xml.gz2004-04-08 01:29 690  
[ ]Zle_bool_antisym.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zle_bool_antisym.con.types.xml.gz2004-04-08 01:29 696  
[ ]Zle_bool_antisym.con.xml.gz2004-04-08 01:29 571  
[ ]Zle_bool_imp_le.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zle_bool_imp_le.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zle_bool_imp_le.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zle_bool_imp_le.con.xml.gz2004-04-08 01:29 521  
[ ]Zle_bool_plus_mono.con.body.xml.gz2004-04-08 01:29 816  
[ ]Zle_bool_plus_mono.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zle_bool_plus_mono.con.types.xml.gz2004-04-08 01:29 933  
[ ]Zle_bool_plus_mono.con.xml.gz2004-04-08 01:29 663  
[ ]Zle_bool_refl.con.body.xml.gz2004-04-08 01:29 490  
[ ]Zle_bool_refl.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zle_bool_refl.con.types.xml.gz2004-04-08 01:29 603  
[ ]Zle_bool_refl.con.xml.gz2004-04-08 01:29 446  
[ ]Zle_bool_total.con.body.xml.gz2004-04-08 01:29 2.6K 
[ ]Zle_bool_total.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]Zle_bool_total.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]Zle_bool_total.con.xml.gz2004-04-08 01:29 538  
[ ]Zle_bool_trans.con.body.xml.gz2004-04-08 01:29 740  
[ ]Zle_bool_trans.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Zle_bool_trans.con.types.xml.gz2004-04-08 01:29 772  
[ ]Zle_bool_trans.con.xml.gz2004-04-08 01:29 584  
[ ]Zle_cases.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]Zle_cases.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zle_cases.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zle_cases.con.xml.gz2004-04-08 01:29 570  
[ ]Zle_imp_le_bool.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]Zle_imp_le_bool.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Zle_imp_le_bool.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]Zle_imp_le_bool.con.xml.gz2004-04-08 01:29 516  
[ ]Zle_is_le_bool.con.body.xml.gz2004-04-08 01:29 833  
[ ]Zle_is_le_bool.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zle_is_le_bool.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Zle_is_le_bool.con.xml.gz2004-04-08 01:29 531  
[ ]Zlt_bool.con.body.xml.gz2004-04-08 01:29 554  
[ ]Zlt_bool.con.types.xml.gz2004-04-08 01:29 197  
[ ]Zlt_bool.con.xml.gz2004-04-08 01:29 308  
[ ]Zlt_cases.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]Zlt_cases.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zlt_cases.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zlt_cases.con.xml.gz2004-04-08 01:29 570  
[ ]Zlt_is_le_bool.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zlt_is_le_bool.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]Zlt_is_le_bool.con.types.xml.gz2004-04-08 01:29 2.1K 
[ ]Zlt_is_le_bool.con.xml.gz2004-04-08 01:29 593  
[ ]Zneq_bool.con.body.xml.gz2004-04-08 01:29 554  
[ ]Zneq_bool.con.types.xml.gz2004-04-08 01:29 199  
[ ]Zneq_bool.con.xml.gz2004-04-08 01:29 309  
[ ]Zone_min_pos.con.body.xml.gz2004-04-08 01:29 1.7K 
[ ]Zone_min_pos.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]Zone_min_pos.con.types.xml.gz2004-04-08 01:29 2.4K 
[ ]Zone_min_pos.con.xml.gz2004-04-08 01:29 556  
[ ]Zone_pos.con.body.xml.gz2004-04-08 01:29 331  
[ ]Zone_pos.con.proof_tree.xml.gz2004-04-09 18:52 612  
[ ]Zone_pos.con.types.xml.gz2004-04-08 01:29 456  
[ ]Zone_pos.con.xml.gz2004-04-08 01:29 397  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80