Index of /xml/Coq/fourier/Fourier_util

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:10 1.4K 
[ ]Rfourier_eqLR_to_le.con.body.xml.gz2004-04-08 01:35 271  
[ ]Rfourier_eqLR_to_le.con.proof_tree.xml.gz2004-04-09 18:52 851  
[ ]Rfourier_eqLR_to_le.con.types.xml.gz2004-04-08 01:35 219  
[ ]Rfourier_eqLR_to_le.con.xml.gz2004-04-08 01:35 460  
[ ]Rfourier_eqRL_to_le.con.body.xml.gz2004-04-08 01:35 275  
[ ]Rfourier_eqRL_to_le.con.proof_tree.xml.gz2004-04-09 18:52 857  
[ ]Rfourier_eqRL_to_le.con.types.xml.gz2004-04-08 01:35 219  
[ ]Rfourier_eqRL_to_le.con.xml.gz2004-04-08 01:35 463  
[ ]Rfourier_ge_to_le.con.body.xml.gz2004-04-08 01:35 416  
[ ]Rfourier_ge_to_le.con.proof_tree.xml.gz2004-04-09 18:52 851  
[ ]Rfourier_ge_to_le.con.types.xml.gz2004-04-08 01:35 524  
[ ]Rfourier_ge_to_le.con.xml.gz2004-04-08 01:35 424  
[ ]Rfourier_gt_to_lt.con.body.xml.gz2004-04-08 01:35 437  
[ ]Rfourier_gt_to_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Rfourier_gt_to_lt.con.types.xml.gz2004-04-08 01:35 584  
[ ]Rfourier_gt_to_lt.con.xml.gz2004-04-08 01:35 426  
[ ]Rfourier_le.con.body.xml.gz2004-04-08 01:35 1.4K 
[ ]Rfourier_le.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Rfourier_le.con.types.xml.gz2004-04-08 01:35 1.7K 
[ ]Rfourier_le.con.xml.gz2004-04-08 01:35 515  
[ ]Rfourier_le_le.con.body.xml.gz2004-04-08 01:35 3.2K 
[ ]Rfourier_le_le.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]Rfourier_le_le.con.types.xml.gz2004-04-08 01:35 3.3K 
[ ]Rfourier_le_le.con.xml.gz2004-04-08 01:35 626  
[ ]Rfourier_le_lt.con.body.xml.gz2004-04-08 01:35 1.4K 
[ ]Rfourier_le_lt.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Rfourier_le_lt.con.types.xml.gz2004-04-08 01:35 1.5K 
[ ]Rfourier_le_lt.con.xml.gz2004-04-08 01:35 627  
[ ]Rfourier_lt.con.body.xml.gz2004-04-08 01:35 552  
[ ]Rfourier_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Rfourier_lt.con.types.xml.gz2004-04-08 01:35 614  
[ ]Rfourier_lt.con.xml.gz2004-04-08 01:35 510  
[ ]Rfourier_lt_le.con.body.xml.gz2004-04-08 01:35 2.0K 
[ ]Rfourier_lt_le.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Rfourier_lt_le.con.types.xml.gz2004-04-08 01:35 1.9K 
[ ]Rfourier_lt_le.con.xml.gz2004-04-08 01:35 625  
[ ]Rfourier_lt_lt.con.body.xml.gz2004-04-08 01:35 735  
[ ]Rfourier_lt_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rfourier_lt_lt.con.types.xml.gz2004-04-08 01:35 838  
[ ]Rfourier_lt_lt.con.xml.gz2004-04-08 01:35 621  
[ ]Rfourier_not_ge_lt.con.body.xml.gz2004-04-08 01:35 268  
[ ]Rfourier_not_ge_lt.con.proof_tree.xml.gz2004-04-09 18:52 922  
[ ]Rfourier_not_ge_lt.con.types.xml.gz2004-04-08 01:35 655  
[ ]Rfourier_not_ge_lt.con.xml.gz2004-04-08 01:35 489  
[ ]Rfourier_not_gt_le.con.body.xml.gz2004-04-08 01:35 268  
[ ]Rfourier_not_gt_le.con.proof_tree.xml.gz2004-04-09 18:52 922  
[ ]Rfourier_not_gt_le.con.types.xml.gz2004-04-08 01:35 655  
[ ]Rfourier_not_gt_le.con.xml.gz2004-04-08 01:35 489  
[ ]Rfourier_not_le_gt.con.body.xml.gz2004-04-08 01:35 269  
[ ]Rfourier_not_le_gt.con.proof_tree.xml.gz2004-04-09 18:52 931  
[ ]Rfourier_not_le_gt.con.types.xml.gz2004-04-08 01:35 656  
[ ]Rfourier_not_le_gt.con.xml.gz2004-04-08 01:35 489  
[ ]Rfourier_not_lt_ge.con.body.xml.gz2004-04-08 01:35 268  
[ ]Rfourier_not_lt_ge.con.proof_tree.xml.gz2004-04-09 18:52 922  
[ ]Rfourier_not_lt_ge.con.types.xml.gz2004-04-08 01:35 656  
[ ]Rfourier_not_lt_ge.con.xml.gz2004-04-08 01:35 489  
[ ]Rle_mult_inv_pos.con.body.xml.gz2004-04-08 01:35 1.8K 
[ ]Rle_mult_inv_pos.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Rle_mult_inv_pos.con.types.xml.gz2004-04-08 01:35 2.0K 
[ ]Rle_mult_inv_pos.con.xml.gz2004-04-08 01:35 496  
[ ]Rle_not_lt.con.body.xml.gz2004-04-08 01:35 6.2K 
[ ]Rle_not_lt.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]Rle_not_lt.con.types.xml.gz2004-04-08 01:35 7.1K 
[ ]Rle_not_lt.con.xml.gz2004-04-08 01:35 546  
[ ]Rle_zero_1.con.body.xml.gz2004-04-08 01:35 413  
[ ]Rle_zero_1.con.proof_tree.xml.gz2004-04-09 18:52 723  
[ ]Rle_zero_1.con.types.xml.gz2004-04-08 01:35 427  
[ ]Rle_zero_1.con.xml.gz2004-04-08 01:35 281  
[ ]Rle_zero_pos_plus1.con.body.xml.gz2004-04-08 01:35 1.7K 
[ ]Rle_zero_pos_plus1.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Rle_zero_pos_plus1.con.types.xml.gz2004-04-08 01:35 1.6K 
[ ]Rle_zero_pos_plus1.con.xml.gz2004-04-08 01:35 439  
[ ]Rlt_mult_inv_pos.con.body.xml.gz2004-04-08 01:35 1.6K 
[ ]Rlt_mult_inv_pos.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Rlt_mult_inv_pos.con.types.xml.gz2004-04-08 01:35 1.7K 
[ ]Rlt_mult_inv_pos.con.xml.gz2004-04-08 01:35 497  
[ ]Rlt_not_le.con.body.xml.gz2004-04-08 01:35 3.7K 
[ ]Rlt_not_le.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Rlt_not_le.con.types.xml.gz2004-04-08 01:35 4.0K 
[ ]Rlt_not_le.con.xml.gz2004-04-08 01:35 542  
[ ]Rlt_zero_1.con.body.xml.gz2004-04-08 01:35 259  
[ ]Rlt_zero_1.con.proof_tree.xml.gz2004-04-09 18:52 455  
[ ]Rlt_zero_1.con.types.xml.gz2004-04-08 01:35 206  
[ ]Rlt_zero_1.con.xml.gz2004-04-08 01:35 278  
[ ]Rlt_zero_pos_plus1.con.body.xml.gz2004-04-08 01:35 786  
[ ]Rlt_zero_pos_plus1.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Rlt_zero_pos_plus1.con.types.xml.gz2004-04-08 01:35 768  
[ ]Rlt_zero_pos_plus1.con.xml.gz2004-04-08 01:35 436  
[ ]Rnot_le_le.con.body.xml.gz2004-04-08 01:35 3.0K 
[ ]Rnot_le_le.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]Rnot_le_le.con.types.xml.gz2004-04-08 01:35 3.4K 
[ ]Rnot_le_le.con.xml.gz2004-04-08 01:35 483  
[ ]Rnot_lt0.con.body.xml.gz2004-04-08 01:35 1.1K 
[ ]Rnot_lt0.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Rnot_lt0.con.types.xml.gz2004-04-08 01:35 1.2K 
[ ]Rnot_lt0.con.xml.gz2004-04-08 01:35 411  
[ ]Rnot_lt_lt.con.body.xml.gz2004-04-08 01:35 2.1K 
[ ]Rnot_lt_lt.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Rnot_lt_lt.con.types.xml.gz2004-04-08 01:35 2.3K 
[ ]Rnot_lt_lt.con.xml.gz2004-04-08 01:35 482  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80