Index of /xml/Orsay/QArith/Qreduction

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 1.9K 
[ ]Qmult'.con.body.xml.gz2004-04-08 14:47 416  
[ ]Qmult'.con.types.xml.gz2004-04-08 14:47 201  
[ ]Qmult'.con.xml.gz2004-04-08 14:47 294  
[ ]Qmult'_comp.con.body.xml.gz2004-04-08 14:47 1.6K 
[ ]Qmult'_comp.con.types.xml.gz2004-04-08 14:47 1.4K 
[ ]Qmult'_comp.con.xml.gz2004-04-08 14:47 551  
[ ]Qmult'_correct.con.body.xml.gz2004-04-08 14:47 443  
[ ]Qmult'_correct.con.types.xml.gz2004-04-08 14:47 638  
[ ]Qmult'_correct.con.xml.gz2004-04-08 14:47 455  
[ ]Qplus'.con.body.xml.gz2004-04-08 14:47 416  
[ ]Qplus'.con.types.xml.gz2004-04-08 14:47 200  
[ ]Qplus'.con.xml.gz2004-04-08 14:47 294  
[ ]Qplus'_comp.con.body.xml.gz2004-04-08 14:47 1.6K 
[ ]Qplus'_comp.con.types.xml.gz2004-04-08 14:47 1.4K 
[ ]Qplus'_comp.con.xml.gz2004-04-08 14:47 551  
[ ]Qplus'_correct.con.body.xml.gz2004-04-08 14:47 443  
[ ]Qplus'_correct.con.types.xml.gz2004-04-08 14:47 638  
[ ]Qplus'_correct.con.xml.gz2004-04-08 14:47 455  
[ ]Qred.con.body.xml.gz2004-04-08 14:46 761  
[ ]Qred.con.types.xml.gz2004-04-08 14:46 195  
[ ]Qred.con.xml.gz2004-04-08 14:46 281  
[ ]Qred_comp.con.body.xml.gz2004-04-08 14:47 944  
[ ]Qred_comp.con.types.xml.gz2004-04-08 14:47 805  
[ ]Qred_comp.con.xml.gz2004-04-08 14:47 467  
[ ]Qred_complete.con.body.xml.gz2004-04-08 14:47 53K 
[ ]Qred_complete.con.types.xml.gz2004-04-08 14:47 57K 
[ ]Qred_complete.con.xml.gz2004-04-08 14:47 504  
[ ]Qred_complete_subproof.con.body.xml.gz2004-04-08 14:46 6.7K 
[ ]Qred_complete_subproof.con.types.xml.gz2004-04-08 14:46 5.3K 
[ ]Qred_complete_subproof.con.xml.gz2004-04-08 14:46 1.3K 
[ ]Qred_complete_subproof0.con.body.xml.gz2004-04-08 14:46 6.7K 
[ ]Qred_complete_subproof0.con.types.xml.gz2004-04-08 14:46 5.3K 
[ ]Qred_complete_subproof0.con.xml.gz2004-04-08 14:46 1.3K 
[ ]Qred_complete_subproof1.con.body.xml.gz2004-04-08 14:46 7.6K 
[ ]Qred_complete_subproof1.con.types.xml.gz2004-04-08 14:46 5.8K 
[ ]Qred_complete_subproof1.con.xml.gz2004-04-08 14:46 1.4K 
[ ]Qred_complete_subproof2.con.body.xml.gz2004-04-08 14:46 7.6K 
[ ]Qred_complete_subproof2.con.types.xml.gz2004-04-08 14:46 5.8K 
[ ]Qred_complete_subproof2.con.xml.gz2004-04-08 14:46 1.4K 
[ ]Qred_complete_subproof3.con.body.xml.gz2004-04-08 14:46 8.3K 
[ ]Qred_complete_subproof3.con.types.xml.gz2004-04-08 14:46 6.4K 
[ ]Qred_complete_subproof3.con.xml.gz2004-04-08 14:46 1.4K 
[ ]Qred_complete_subproof4.con.body.xml.gz2004-04-08 14:47 8.3K 
[ ]Qred_complete_subproof4.con.types.xml.gz2004-04-08 14:47 6.4K 
[ ]Qred_complete_subproof4.con.xml.gz2004-04-08 14:47 1.4K 
[ ]Qred_complete_subproof5.con.body.xml.gz2004-04-08 14:47 9.0K 
[ ]Qred_complete_subproof5.con.types.xml.gz2004-04-08 14:47 6.8K 
[ ]Qred_complete_subproof5.con.xml.gz2004-04-08 14:47 1.5K 
[ ]Qred_complete_subproof6.con.body.xml.gz2004-04-08 14:47 9.0K 
[ ]Qred_complete_subproof6.con.types.xml.gz2004-04-08 14:47 6.8K 
[ ]Qred_complete_subproof6.con.xml.gz2004-04-08 14:47 1.5K 
[ ]Qred_complete_subproof7.con.body.xml.gz2004-04-08 14:47 10K 
[ ]Qred_complete_subproof7.con.types.xml.gz2004-04-08 14:47 7.2K 
[ ]Qred_complete_subproof7.con.xml.gz2004-04-08 14:47 1.5K 
[ ]Qred_complete_subproof8.con.body.xml.gz2004-04-08 14:47 10K 
[ ]Qred_complete_subproof8.con.types.xml.gz2004-04-08 14:47 7.2K 
[ ]Qred_complete_subproof8.con.xml.gz2004-04-08 14:47 1.5K 
[ ]Qred_complete_subproof9.con.body.xml.gz2004-04-08 14:47 10K 
[ ]Qred_complete_subproof9.con.types.xml.gz2004-04-08 14:47 7.2K 
[ ]Qred_complete_subproof9.con.xml.gz2004-04-08 14:47 1.5K 
[ ]Qred_complete_subproof10.con.body.xml.gz2004-04-08 14:47 10K 
[ ]Qred_complete_subproof10.con.types.xml.gz2004-04-08 14:47 7.2K 
[ ]Qred_complete_subproof10.con.xml.gz2004-04-08 14:47 1.5K 
[ ]Qred_correct.con.body.xml.gz2004-04-08 14:46 15K 
[ ]Qred_correct.con.types.xml.gz2004-04-08 14:46 17K 
[ ]Qred_correct.con.xml.gz2004-04-08 14:46 404  
[ ]Qred_correct_subproof.con.body.xml.gz2004-04-08 14:46 4.8K 
[ ]Qred_correct_subproof.con.types.xml.gz2004-04-08 14:46 4.1K 
[ ]Qred_correct_subproof.con.xml.gz2004-04-08 14:46 874  
[ ]Qred_correct_subproof0.con.body.xml.gz2004-04-08 14:46 4.8K 
[ ]Qred_correct_subproof0.con.types.xml.gz2004-04-08 14:46 4.1K 
[ ]Qred_correct_subproof0.con.xml.gz2004-04-08 14:46 875  
[ ]Qred_correct_subproof1.con.body.xml.gz2004-04-08 14:46 5.3K 
[ ]Qred_correct_subproof1.con.types.xml.gz2004-04-08 14:46 4.4K 
[ ]Qred_correct_subproof1.con.xml.gz2004-04-08 14:46 955  
[ ]Qred_correct_subproof2.con.body.xml.gz2004-04-08 14:46 5.3K 
[ ]Qred_correct_subproof2.con.types.xml.gz2004-04-08 14:46 4.4K 
[ ]Qred_correct_subproof2.con.xml.gz2004-04-08 14:46 955  
[ ]Qred_correct_subproof3.con.body.xml.gz2004-04-08 14:46 5.3K 
[ ]Qred_correct_subproof3.con.types.xml.gz2004-04-08 14:46 4.4K 
[ ]Qred_correct_subproof3.con.xml.gz2004-04-08 14:46 956  
[ ]Qred_correct_subproof4.con.body.xml.gz2004-04-08 14:46 5.3K 
[ ]Qred_correct_subproof4.con.types.xml.gz2004-04-08 14:46 4.4K 
[ ]Qred_correct_subproof4.con.xml.gz2004-04-08 14:46 956  
[ ]Z2P.con.body.xml.gz2004-04-08 14:46 532  
[ ]Z2P.con.types.xml.gz2004-04-08 14:46 195  
[ ]Z2P.con.xml.gz2004-04-08 14:46 289  
[ ]Z2P_correct.con.body.xml.gz2004-04-08 14:46 1.6K 
[ ]Z2P_correct.con.types.xml.gz2004-04-08 14:46 2.2K 
[ ]Z2P_correct.con.xml.gz2004-04-08 14:46 503  
[ ]Z2P_correct2.con.body.xml.gz2004-04-08 14:46 1.1K 
[ ]Z2P_correct2.con.types.xml.gz2004-04-08 14:46 1.7K 
[ ]Z2P_correct2.con.xml.gz2004-04-08 14:46 548  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80