Index of /xml/Coq/Sets/Relations_2_facts

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Rstar_transitive.con.xml.gz2004-04-08 01:32 489  
[ ]Rstar_reflexive.con.xml.gz2004-04-08 01:32 490  
[ ]Rplus_contains_R.con.xml.gz2004-04-08 01:32 506  
[ ]Rstar_contains_R.con.xml.gz2004-04-08 01:32 509  
[ ]Rstar_equiv_Rstar1.con.xml.gz2004-04-08 01:32 531  
[ ]Rstar_reflexive.con.body.xml.gz2004-04-08 01:32 534  
[ ]Rstar_contains_Rplus.con.xml.gz2004-04-08 01:32 539  
[ ]Rsym_imp_Rstarsym.con.xml.gz2004-04-08 01:32 540  
[ ]star_monotone.con.xml.gz2004-04-08 01:32 603  
[ ]Rplus_contains_R.con.body.xml.gz2004-04-08 01:32 623  
[ ]Sstar_contains_Rstar.con.xml.gz2004-04-08 01:32 631  
[ ]Rstar_contains_R.con.body.xml.gz2004-04-08 01:32 686  
[ ]INDEX2005-07-05 08:11 718  
[ ]Rstar_reflexive.con.types.xml.gz2004-04-08 01:32 773  
[ ]Rstar_cases.con.xml.gz2004-04-08 01:32 800  
[ ]Rplus_contains_R.con.types.xml.gz2004-04-08 01:32 823  
[ ]RstarRplus_RRstar.con.xml.gz2004-04-08 01:32 833  
[ ]Lemma1.con.xml.gz2004-04-08 01:32 834  
[ ]Rstar_reflexive.con.proof_tree.xml.gz2004-04-09 18:52 845  
[ ]Rstar_contains_R.con.types.xml.gz2004-04-08 01:32 857  
[ ]Rplus_contains_R.con.proof_tree.xml.gz2004-04-09 18:52 874  
[ ]star_monotone.con.body.xml.gz2004-04-08 01:32 931  
[ ]Rstar_transitive.con.body.xml.gz2004-04-08 01:32 1.4K 
[ ]Rstar_contains_Rplus.con.body.xml.gz2004-04-08 01:32 1.5K 
[ ]Rstar_transitive.con.types.xml.gz2004-04-08 01:32 1.5K 
[ ]star_monotone.con.types.xml.gz2004-04-08 01:32 1.5K 
[ ]Rstar_contains_Rplus.con.types.xml.gz2004-04-08 01:32 1.6K 
[ ]Rsym_imp_Rstarsym.con.body.xml.gz2004-04-08 01:32 1.6K 
[ ]Sstar_contains_Rstar.con.body.xml.gz2004-04-08 01:32 1.6K 
[ ]Rstar_contains_R.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Rsym_imp_Rstarsym.con.types.xml.gz2004-04-08 01:32 1.8K 
[ ]star_monotone.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Rstar_cases.con.body.xml.gz2004-04-08 01:32 2.0K 
[ ]Sstar_contains_Rstar.con.types.xml.gz2004-04-08 01:32 2.1K 
[ ]Rstar_cases.con.types.xml.gz2004-04-08 01:32 2.4K 
[ ]Rstar_equiv_Rstar1.con.body.xml.gz2004-04-08 01:32 2.7K 
[ ]Rstar_contains_Rplus.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]Rstar_transitive.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]Rstar_cases.con.proof_tree.xml.gz2004-04-09 18:52 3.5K 
[ ]Rstar_equiv_Rstar1.con.types.xml.gz2004-04-08 01:32 3.6K 
[ ]Rsym_imp_Rstarsym.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]RstarRplus_RRstar.con.body.xml.gz2004-04-08 01:32 3.9K 
[ ]Sstar_contains_Rstar.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]Lemma1.con.body.xml.gz2004-04-08 01:32 5.2K 
[ ]Rstar_equiv_Rstar1.con.proof_tree.xml.gz2004-04-09 18:52 5.8K 
[ ]RstarRplus_RRstar.con.types.xml.gz2004-04-08 01:32 6.0K 
[ ]Lemma1.con.types.xml.gz2004-04-08 01:32 6.1K 
[ ]RstarRplus_RRstar.con.proof_tree.xml.gz2004-04-09 18:52 7.2K 
[ ]Lemma1.con.proof_tree.xml.gz2004-04-09 18:52 9.7K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80