Index of /xml/Coq/Setoids/Setoid

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fleche_ext.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]and_ext.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]or_ext.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]not_ext.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]and_ext.con.body.xml.gz2004-04-08 01:49 1.5K 
[ ]or_ext.con.body.xml.gz2004-04-08 01:49 1.5K 
[ ]or_ext.con.types.xml.gz2004-04-08 01:49 1.4K 
[ ]and_ext.con.types.xml.gz2004-04-08 01:49 1.3K 
[ ]fleche_ext.con.body.xml.gz2004-04-08 01:49 1.3K 
[ ]fleche_ext.con.types.xml.gz2004-04-08 01:49 1.3K 
[ ]setoid_eq_ext2.con.body.xml.gz2004-04-08 01:49 1.2K 
[ ]Prop_S.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]setoid_eq_ext2.con.types.xml.gz2004-04-08 01:49 1.0K 
[ ]Seq_trans.con.types.xml.gz2004-04-08 01:49 1.0K 
[ ]fleche_ext2.con.types.xml.gz2004-04-08 01:49 1.0K 
[ ]or_ext2.con.types.xml.gz2004-04-08 01:49 1.0K 
[ ]and_ext2.con.types.xml.gz2004-04-08 01:49 1.0K 
[ ]Seq_trans.con.body.xml.gz2004-04-08 01:49 969  
[ ]or_ext2.con.body.xml.gz2004-04-08 01:49 963  
[ ]fleche_ext2.con.body.xml.gz2004-04-08 01:49 961  
[ ]and_ext2.con.body.xml.gz2004-04-08 01:49 961  
[ ]Setoid_Theory_ind.con.types.xml.gz2004-04-08 01:49 949  
[ ]INDEX2005-07-05 08:11 940  
[ ]Seq_sym.con.body.xml.gz2004-04-08 01:49 918  
[ ]Seq_sym.con.types.xml.gz2004-04-08 01:49 916  
[ ]not_ext.con.body.xml.gz2004-04-08 01:49 901  
[ ]not_ext.con.types.xml.gz2004-04-08 01:49 899  
[ ]Seq_refl.con.body.xml.gz2004-04-08 01:49 861  
[ ]Setoid_Theory_rect.con.body.xml.gz2004-04-08 01:49 820  
[ ]not_ext2.con.types.xml.gz2004-04-08 01:49 798  
[ ]setoid_eq_ext1.con.body.xml.gz2004-04-08 01:49 793  
[ ]Seq_refl.con.types.xml.gz2004-04-08 01:49 778  
[ ]not_ext2.con.body.xml.gz2004-04-08 01:49 761  
[ ]Setoid_Theory.ind.xml.gz2004-04-08 01:49 730  
[ ]Setoid_Theory_rec.con.xml.gz2004-04-08 01:49 725  
[ ]Setoid_Theory_rect.con.xml.gz2004-04-08 01:49 720  
[ ]Setoid_Theory_ind.con.xml.gz2004-04-08 01:49 718  
[ ]fleche_ext2.con.xml.gz2004-04-08 01:49 627  
[ ]setoid_eq_ext2.con.xml.gz2004-04-08 01:49 622  
[ ]setoid_eq_ext1.con.types.xml.gz2004-04-08 01:49 619  
[ ]or_ext2.con.xml.gz2004-04-08 01:49 608  
[ ]and_ext2.con.xml.gz2004-04-08 01:49 607  
[ ]not_ext2.con.xml.gz2004-04-08 01:49 528  
[ ]fleche_ext.con.xml.gz2004-04-08 01:49 503  
[ ]and_ext.con.xml.gz2004-04-08 01:49 502  
[ ]setoid_eq_ext1.con.xml.gz2004-04-08 01:49 496  
[ ]or_ext.con.xml.gz2004-04-08 01:49 494  
[ ]Seq_trans.con.xml.gz2004-04-08 01:49 487  
[ ]Seq_sym.con.xml.gz2004-04-08 01:49 434  
[ ]not_ext.con.xml.gz2004-04-08 01:49 412  
[ ]Prop_S.con.body.xml.gz2004-04-08 01:49 399  
[ ]Seq_refl.con.xml.gz2004-04-08 01:49 383  
[ ]Setoid_Theory_ind.con.body.xml.gz2004-04-08 01:49 377  
[ ]Setoid_Theory_rec.con.body.xml.gz2004-04-08 01:49 375  
[ ]fleche.con.body.xml.gz2004-04-08 01:49 357  
[ ]Prop_S.con.types.xml.gz2004-04-08 01:49 357  
[ ]Prop_S.con.xml.gz2004-04-08 01:49 325  
[ ]fleche.con.xml.gz2004-04-08 01:49 262  
[ ]Setoid_Theory_rect.con.types.xml.gz2004-04-08 01:49 210  
[ ]Setoid_Theory_rec.con.types.xml.gz2004-04-08 01:49 209  
[ ]Setoid_Theory.ind.types.xml.gz2004-04-08 01:49 201  
[ ]fleche.con.types.xml.gz2004-04-08 01:49 192  
[DIR]Setoid/2005-07-05 08:13 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80