Index of /xml/Coq/Sets/Partial_Order

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Partial_order_facts/2005-07-05 08:13 -  
[DIR]Partial_orders/2005-07-05 08:13 -  
[ ]PO.ind.types.xml.gz2004-04-08 01:32 190  
[ ]Rel.con.types.xml.gz2004-04-08 01:32 193  
[ ]covers.ind.types.xml.gz2004-04-08 01:32 197  
[ ]PO_rec.con.types.xml.gz2004-04-08 01:32 198  
[ ]Rel_of.con.types.xml.gz2004-04-08 01:32 198  
[ ]Carrier.con.types.xml.gz2004-04-08 01:32 199  
[ ]PO_rect.con.types.xml.gz2004-04-08 01:32 199  
[ ]Carrier_of.con.types.xml.gz2004-04-08 01:32 204  
[ ]covers_rec.con.types.xml.gz2004-04-08 01:32 204  
[ ]covers_rect.con.types.xml.gz2004-04-08 01:32 206  
[ ]Strict_Rel_of.con.types.xml.gz2004-04-08 01:32 210  
[ ]Rel.con.xml.gz2004-04-08 01:32 229  
[ ]Carrier.con.xml.gz2004-04-08 01:32 233  
[ ]Strict_Rel_of.con.xml.gz2004-04-08 01:32 264  
[ ]Rel.con.body.xml.gz2004-04-08 01:32 306  
[ ]Carrier.con.body.xml.gz2004-04-08 01:32 310  
[ ]Rel_of.con.xml.gz2004-04-08 01:32 370  
[ ]Carrier_of.con.xml.gz2004-04-08 01:32 375  
[ ]Strict_Rel_Transitive.con.xml.gz2004-04-08 01:32 404  
[ ]PO_rec.con.body.xml.gz2004-04-08 01:32 417  
[ ]PO_ind.con.body.xml.gz2004-04-08 01:32 419  
[ ]covers_rec.con.body.xml.gz2004-04-08 01:32 438  
[ ]covers_ind.con.body.xml.gz2004-04-08 01:32 441  
[ ]PO_cond2.con.xml.gz2004-04-08 01:32 448  
[ ]PO_cond1.con.xml.gz2004-04-08 01:32 454  
[ ]Strict_Rel_of.con.body.xml.gz2004-04-08 01:32 512  
[ ]Strict_Rel_Transitive_with_Rel.con.xml.gz2004-04-08 01:32 611  
[ ]Strict_Rel_Transitive_with_Rel_left.con.xml.gz2004-04-08 01:32 618  
[ ]PO.ind.xml.gz2004-04-08 01:32 646  
[ ]covers_ind.con.xml.gz2004-04-08 01:32 717  
[ ]covers_rec.con.xml.gz2004-04-08 01:32 725  
[ ]covers_rect.con.xml.gz2004-04-08 01:32 727  
[ ]Carrier_of.con.body.xml.gz2004-04-08 01:32 747  
[ ]Rel_of.con.body.xml.gz2004-04-08 01:32 749  
[ ]covers.ind.xml.gz2004-04-08 01:32 750  
[ ]PO_rec.con.xml.gz2004-04-08 01:32 786  
[ ]PO_rect.con.xml.gz2004-04-08 01:32 788  
[ ]PO_ind.con.xml.gz2004-04-08 01:32 789  
[ ]PO_cond1.con.body.xml.gz2004-04-08 01:32 813  
[ ]covers_rect.con.body.xml.gz2004-04-08 01:32 818  
[ ]PO_cond2.con.body.xml.gz2004-04-08 01:32 821  
[ ]PO_rect.con.body.xml.gz2004-04-08 01:32 930  
[ ]INDEX2005-07-05 08:11 947  
[ ]covers_ind.con.types.xml.gz2004-04-08 01:32 951  
[ ]PO_cond1.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]PO_cond2.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]PO_ind.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]Strict_Rel_Transitive.con.body.xml.gz2004-04-08 01:32 1.3K 
[ ]Strict_Rel_Transitive.con.types.xml.gz2004-04-08 01:32 1.5K 
[ ]Strict_Rel_Transitive.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Strict_Rel_Transitive_with_Rel_left.con.body.xml.gz2004-04-08 01:32 3.5K 
[ ]Strict_Rel_Transitive_with_Rel.con.body.xml.gz2004-04-08 01:32 3.8K 
[ ]Strict_Rel_Transitive_with_Rel_left.con.types.xml.gz2004-04-08 01:32 4.2K 
[ ]Strict_Rel_Transitive_with_Rel.con.types.xml.gz2004-04-08 01:32 4.3K 
[ ]Strict_Rel_Transitive_with_Rel.con.proof_tree.xml.gz2004-04-09 18:52 6.3K 
[ ]Strict_Rel_Transitive_with_Rel_left.con.proof_tree.xml.gz2004-04-09 18:52 6.3K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80