Index of /xml/Sophia-Antipolis/Buchberger/Peq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Peq/2005-07-05 08:13 -  
[ ]eqP.ind.types.xml.gz2004-04-08 09:57 198  
[ ]seqP.con.types.xml.gz2004-04-08 09:57 201  
[ ]size.con.types.xml.gz2004-04-08 09:57 201  
[ ]lessP.con.types.xml.gz2004-04-08 09:57 203  
[ ]sizel.con.types.xml.gz2004-04-08 09:57 203  
[ ]lessP3.con.types.xml.gz2004-04-08 09:57 205  
[ ]sizel3.con.types.xml.gz2004-04-08 09:57 205  
[ ]seqp_dec.con.types.xml.gz2004-04-08 09:57 209  
[ ]size.con.body.xml.gz2004-04-08 09:57 371  
[ ]canonicalpO.con.xml.gz2004-04-08 09:57 440  
[ ]size.con.xml.gz2004-04-08 09:57 441  
[ ]seqP.con.xml.gz2004-04-08 09:57 478  
[ ]seqp_sym.con.xml.gz2004-04-08 09:57 490  
[ ]seqp_refl.con.xml.gz2004-04-08 09:57 491  
[ ]eqp_refl.con.xml.gz2004-04-08 09:57 496  
[ ]eqp_sym.con.xml.gz2004-04-08 09:57 499  
[ ]seqp_trans.con.xml.gz2004-04-08 09:57 499  
[ ]eqp_trans.con.xml.gz2004-04-08 09:57 501  
[ ]sizel.con.xml.gz2004-04-08 09:57 515  
[ ]wf_lessP.con.xml.gz2004-04-08 09:57 533  
[ ]lessP.con.xml.gz2004-04-08 09:57 595  
[ ]sizel3.con.xml.gz2004-04-08 09:57 595  
[ ]wf_lessP3.con.xml.gz2004-04-08 09:57 614  
[ ]canonicalpO.con.body.xml.gz2004-04-08 09:57 630  
[ ]seqp_dec.con.xml.gz2004-04-08 09:57 666  
[ ]eqp_inv2.con.xml.gz2004-04-08 09:57 681  
[ ]eqp_inv1.con.xml.gz2004-04-08 09:57 684  
[ ]lessP.con.body.xml.gz2004-04-08 09:57 704  
[ ]lessP3.con.xml.gz2004-04-08 09:57 734  
[ ]canonicalp1.con.xml.gz2004-04-08 09:57 735  
[ ]eqp_inv3r.con.xml.gz2004-04-08 09:57 754  
[ ]eqp_imp_canonical.con.xml.gz2004-04-08 09:57 792  
[ ]canonicalpO.con.types.xml.gz2004-04-08 09:57 796  
[ ]eqp_eqTerm.con.xml.gz2004-04-08 09:57 811  
[ ]eqp_inv3l.con.xml.gz2004-04-08 09:57 814  
[ ]lessP3.con.body.xml.gz2004-04-08 09:57 832  
[ ]ltP_refl_pX.con.xml.gz2004-04-08 09:57 853  
[ ]pX_invl.con.xml.gz2004-04-08 09:57 864  
[ ]pX_invr.con.xml.gz2004-04-08 09:57 875  
[ ]pX_inj.con.xml.gz2004-04-08 09:57 942  
[ ]ltp_eqp_comp.con.xml.gz2004-04-08 09:57 970  
[ ]sizel.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]eqP.ind.xml.gz2004-04-08 09:57 1.1K 
[ ]eqp_refl.con.body.xml.gz2004-04-08 09:57 1.1K 
[ ]eqPf.con.xml.gz2004-04-08 09:57 1.1K 
[ ]canonicalp1.con.body.xml.gz2004-04-08 09:57 1.2K 
[ ]seqp_refl.con.body.xml.gz2004-04-08 09:57 1.2K 
[ ]eqP_ind.con.xml.gz2004-04-08 09:57 1.3K 
[ ]pX_inj.con.types.xml.gz2004-04-08 09:57 1.3K 
[ ]eqp_sym.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]INDEX2005-07-05 08:12 1.4K 
[ ]eqp_refl.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]eqp_sym.con.body.xml.gz2004-04-08 09:57 1.5K 
[ ]sizel3.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]pX_inj.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]canonicalp1.con.types.xml.gz2004-04-08 09:57 1.7K 
[ ]seqP.con.body.xml.gz2004-04-08 09:57 1.8K 
[ ]eqP_ind.con.types.xml.gz2004-04-08 09:57 2.2K 
[ ]eqP_ind.con.body.xml.gz2004-04-08 09:57 2.3K 
[ ]ltP_refl_pX.con.body.xml.gz2004-04-08 09:57 2.6K 
[ ]seqp_refl.con.types.xml.gz2004-04-08 09:57 2.6K 
[ ]seqp_sym.con.body.xml.gz2004-04-08 09:57 2.6K 
[ ]seqp_dec.con.body.xml.gz2004-04-08 09:57 2.8K 
[ ]eqp_imp_canonical.con.types.xml.gz2004-04-08 09:57 3.1K 
[ ]eqp_imp_canonical.con.body.xml.gz2004-04-08 09:57 3.1K 
[ ]ltP_refl_pX.con.types.xml.gz2004-04-08 09:57 3.4K 
[ ]pX_invl.con.types.xml.gz2004-04-08 09:57 4.1K 
[ ]eqp_inv3r.con.types.xml.gz2004-04-08 09:57 4.4K 
[ ]seqp_trans.con.body.xml.gz2004-04-08 09:57 4.5K 
[ ]pX_invr.con.types.xml.gz2004-04-08 09:57 4.8K 
[ ]pX_invl.con.body.xml.gz2004-04-08 09:57 4.8K 
[ ]eqp_inv3l.con.types.xml.gz2004-04-08 09:57 4.9K 
[ ]eqp_inv1.con.body.xml.gz2004-04-08 09:57 4.9K 
[ ]pX_invr.con.body.xml.gz2004-04-08 09:57 5.1K 
[ ]wf_lessP.con.body.xml.gz2004-04-08 09:57 5.3K 
[ ]eqp_inv3r.con.body.xml.gz2004-04-08 09:57 5.7K 
[ ]eqp_inv3l.con.body.xml.gz2004-04-08 09:57 5.7K 
[ ]seqp_sym.con.types.xml.gz2004-04-08 09:57 5.8K 
[ ]eqp_inv2.con.body.xml.gz2004-04-08 09:57 6.0K 
[ ]wf_lessP3.con.body.xml.gz2004-04-08 09:57 6.3K 
[ ]eqp_inv1.con.types.xml.gz2004-04-08 09:57 6.5K 
[ ]wf_lessP.con.types.xml.gz2004-04-08 09:57 7.7K 
[ ]eqp_inv2.con.types.xml.gz2004-04-08 09:57 8.1K 
[ ]wf_lessP3.con.types.xml.gz2004-04-08 09:57 10K 
[ ]seqp_trans.con.types.xml.gz2004-04-08 09:57 11K 
[ ]eqp_eqTerm.con.body.xml.gz2004-04-08 09:57 11K 
[ ]eqp_eqTerm.con.types.xml.gz2004-04-08 09:57 13K 
[ ]eqPf.con.types.xml.gz2004-04-08 09:57 17K 
[ ]eqp_trans.con.body.xml.gz2004-04-08 09:57 28K 
[ ]eqPf.con.body.xml.gz2004-04-08 09:57 31K 
[ ]eqp_trans.con.types.xml.gz2004-04-08 09:57 32K 
[ ]ltp_eqp_comp.con.body.xml.gz2004-04-08 09:57 53K 
[ ]ltp_eqp_comp.con.types.xml.gz2004-04-08 09:57 58K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80