Index of /xml/Sophia-Antipolis/Float/FroundMult

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]FRoundP/2005-07-05 08:13 -  
[ ]INDEX2005-07-05 08:12 3.2K 
[ ]RepMult.con.body.xml.gz2004-04-09 00:34 5.0K 
[ ]RepMult.con.types.xml.gz2004-04-09 00:34 7.8K 
[ ]RepMult.con.xml.gz2004-04-09 00:34 1.4K 
[ ]maxRepMult.con.body.xml.gz2004-04-09 00:34 131K 
[ ]maxRepMult.con.types.xml.gz2004-04-09 00:34 142K 
[ ]maxRepMult.con.xml.gz2004-04-09 00:34 1.3K 
[ ]maxRepMult_subproof.con.body.xml.gz2004-04-09 00:33 13K 
[ ]maxRepMult_subproof.con.types.xml.gz2004-04-09 00:33 9.2K 
[ ]maxRepMult_subproof.con.xml.gz2004-04-09 00:33 1.8K 
[ ]maxRepMult_subproof0.con.body.xml.gz2004-04-09 00:33 27K 
[ ]maxRepMult_subproof0.con.types.xml.gz2004-04-09 00:33 20K 
[ ]maxRepMult_subproof0.con.xml.gz2004-04-09 00:33 1.9K 
[ ]maxRepMult_subproof1.con.body.xml.gz2004-04-09 00:33 12K 
[ ]maxRepMult_subproof1.con.types.xml.gz2004-04-09 00:33 8.8K 
[ ]maxRepMult_subproof1.con.xml.gz2004-04-09 00:33 2.2K 
[ ]maxRepMult_subproof2.con.body.xml.gz2004-04-09 00:33 18K 
[ ]maxRepMult_subproof2.con.types.xml.gz2004-04-09 00:33 13K 
[ ]maxRepMult_subproof2.con.xml.gz2004-04-09 00:33 2.9K 
[ ]maxRepMult_subproof3.con.body.xml.gz2004-04-09 00:33 19K 
[ ]maxRepMult_subproof3.con.types.xml.gz2004-04-09 00:33 13K 
[ ]maxRepMult_subproof3.con.xml.gz2004-04-09 00:33 2.9K 
[ ]maxRepMult_subproof4.con.body.xml.gz2004-04-09 00:33 19K 
[ ]maxRepMult_subproof4.con.types.xml.gz2004-04-09 00:33 14K 
[ ]maxRepMult_subproof4.con.xml.gz2004-04-09 00:33 3.0K 
[ ]maxRepMult_subproof5.con.body.xml.gz2004-04-09 00:33 26K 
[ ]maxRepMult_subproof5.con.types.xml.gz2004-04-09 00:33 19K 
[ ]maxRepMult_subproof5.con.xml.gz2004-04-09 00:33 3.2K 
[ ]maxRepMult_subproof6.con.body.xml.gz2004-04-09 00:33 16K 
[ ]maxRepMult_subproof6.con.types.xml.gz2004-04-09 00:33 12K 
[ ]maxRepMult_subproof6.con.xml.gz2004-04-09 00:33 2.9K 
[ ]maxRepMult_subproof7.con.body.xml.gz2004-04-09 00:33 14K 
[ ]maxRepMult_subproof7.con.types.xml.gz2004-04-09 00:33 10K 
[ ]maxRepMult_subproof7.con.xml.gz2004-04-09 00:33 2.9K 
[ ]maxRepMult_subproof8.con.body.xml.gz2004-04-09 00:33 24K 
[ ]maxRepMult_subproof8.con.types.xml.gz2004-04-09 00:33 18K 
[ ]maxRepMult_subproof8.con.xml.gz2004-04-09 00:33 2.6K 
[ ]maxRepMult_subproof9.con.body.xml.gz2004-04-09 00:33 16K 
[ ]maxRepMult_subproof9.con.types.xml.gz2004-04-09 00:33 11K 
[ ]maxRepMult_subproof9.con.xml.gz2004-04-09 00:33 2.5K 
[ ]maxRepMult_subproof10.con.body.xml.gz2004-04-09 00:34 20K 
[ ]maxRepMult_subproof10.con.types.xml.gz2004-04-09 00:34 14K 
[ ]maxRepMult_subproof10.con.xml.gz2004-04-09 00:34 2.5K 
[ ]maxRepMult_subproof11.con.body.xml.gz2004-04-09 00:34 13K 
[ ]maxRepMult_subproof11.con.types.xml.gz2004-04-09 00:34 9.2K 
[ ]maxRepMult_subproof11.con.xml.gz2004-04-09 00:34 2.4K 
[ ]maxRepMult_subproof12.con.body.xml.gz2004-04-09 00:34 13K 
[ ]maxRepMult_subproof12.con.types.xml.gz2004-04-09 00:34 8.9K 
[ ]maxRepMult_subproof12.con.xml.gz2004-04-09 00:34 2.3K 
[ ]maxRepMult_subproof13.con.body.xml.gz2004-04-09 00:34 22K 
[ ]maxRepMult_subproof13.con.types.xml.gz2004-04-09 00:34 15K 
[ ]maxRepMult_subproof13.con.xml.gz2004-04-09 00:34 2.3K 
[ ]maxRepMult_subproof14.con.body.xml.gz2004-04-09 00:34 14K 
[ ]maxRepMult_subproof14.con.types.xml.gz2004-04-09 00:34 10K 
[ ]maxRepMult_subproof14.con.xml.gz2004-04-09 00:34 3.1K 
[ ]maxRepMult_subproof15.con.body.xml.gz2004-04-09 00:34 14K 
[ ]maxRepMult_subproof15.con.types.xml.gz2004-04-09 00:34 10K 
[ ]maxRepMult_subproof15.con.xml.gz2004-04-09 00:34 3.1K 
[ ]minRepMult.con.body.xml.gz2004-04-09 00:33 52K 
[ ]minRepMult.con.types.xml.gz2004-04-09 00:33 56K 
[ ]minRepMult.con.xml.gz2004-04-09 00:33 1.3K 
[ ]minRepMult_subproof.con.body.xml.gz2004-04-09 00:33 17K 
[ ]minRepMult_subproof.con.types.xml.gz2004-04-09 00:33 12K 
[ ]minRepMult_subproof.con.xml.gz2004-04-09 00:33 2.7K 
[ ]minRepMult_subproof0.con.body.xml.gz2004-04-09 00:33 13K 
[ ]minRepMult_subproof0.con.types.xml.gz2004-04-09 00:33 9.0K 
[ ]minRepMult_subproof0.con.xml.gz2004-04-09 00:33 2.5K 
[ ]minRepMult_subproof1.con.body.xml.gz2004-04-09 00:33 13K 
[ ]minRepMult_subproof1.con.types.xml.gz2004-04-09 00:33 9.8K 
[ ]minRepMult_subproof1.con.xml.gz2004-04-09 00:33 2.2K 
[ ]minRepMult_subproof2.con.body.xml.gz2004-04-09 00:33 28K 
[ ]minRepMult_subproof2.con.types.xml.gz2004-04-09 00:33 20K 
[ ]minRepMult_subproof2.con.xml.gz2004-04-09 00:33 2.2K 
[ ]minRepMult_subproof3.con.body.xml.gz2004-04-09 00:33 13K 
[ ]minRepMult_subproof3.con.types.xml.gz2004-04-09 00:33 9.4K 
[ ]minRepMult_subproof3.con.xml.gz2004-04-09 00:33 2.9K 
[ ]multExactExp.con.body.xml.gz2004-04-09 00:34 81K 
[ ]multExactExp.con.types.xml.gz2004-04-09 00:34 115K 
[ ]multExactExp.con.xml.gz2004-04-09 00:34 1.8K 
[ ]multExactExp_aux.con.body.xml.gz2004-04-09 00:34 40K 
[ ]multExactExp_aux.con.types.xml.gz2004-04-09 00:34 40K 
[ ]multExactExp_aux.con.xml.gz2004-04-09 00:34 1.5K 
[ ]multExactExp_aux_subproof.con.body.xml.gz2004-04-09 00:34 6.3K 
[ ]multExactExp_aux_subproof.con.types.xml.gz2004-04-09 00:34 5.2K 
[ ]multExactExp_aux_subproof.con.xml.gz2004-04-09 00:34 1.5K 
[ ]multExactExp_aux_subproof0.con.body.xml.gz2004-04-09 00:34 6.3K 
[ ]multExactExp_aux_subproof0.con.types.xml.gz2004-04-09 00:34 5.2K 
[ ]multExactExp_aux_subproof0.con.xml.gz2004-04-09 00:34 1.5K 
[ ]multExactExp_pos.con.body.xml.gz2004-04-09 00:34 70K 
[ ]multExactExp_pos.con.types.xml.gz2004-04-09 00:34 89K 
[ ]multExactExp_pos.con.xml.gz2004-04-09 00:34 1.9K 
[ ]multExactExp_pos_subproof.con.body.xml.gz2004-04-09 00:34 16K 
[ ]multExactExp_pos_subproof.con.types.xml.gz2004-04-09 00:34 12K 
[ ]multExactExp_pos_subproof.con.xml.gz2004-04-09 00:34 1.6K 
[ ]multExactExp_pos_subproof0.con.body.xml.gz2004-04-09 00:34 7.6K 
[ ]multExactExp_pos_subproof0.con.types.xml.gz2004-04-09 00:34 5.9K 
[ ]multExactExp_pos_subproof0.con.xml.gz2004-04-09 00:34 1.5K 
[ ]multExactExp_pos_subproof1.con.body.xml.gz2004-04-09 00:34 7.6K 
[ ]multExactExp_pos_subproof1.con.types.xml.gz2004-04-09 00:34 5.9K 
[ ]multExactExp_pos_subproof1.con.xml.gz2004-04-09 00:34 1.5K 
[ ]multExactExp_pos_subproof2.con.body.xml.gz2004-04-09 00:34 24K 
[ ]multExactExp_pos_subproof2.con.types.xml.gz2004-04-09 00:34 18K 
[ ]multExactExp_pos_subproof2.con.xml.gz2004-04-09 00:34 2.2K 
[ ]multExactExp_pos_subproof3.con.body.xml.gz2004-04-09 00:34 17K 
[ ]multExactExp_pos_subproof3.con.types.xml.gz2004-04-09 00:34 13K 
[ ]multExactExp_pos_subproof3.con.xml.gz2004-04-09 00:34 2.2K 
[ ]multExactExp_pos_subproof4.con.body.xml.gz2004-04-09 00:34 8.2K 
[ ]multExactExp_pos_subproof4.con.types.xml.gz2004-04-09 00:34 6.4K 
[ ]multExactExp_pos_subproof4.con.xml.gz2004-04-09 00:34 1.9K 
[ ]multExactExp_pos_subproof5.con.body.xml.gz2004-04-09 00:34 8.2K 
[ ]multExactExp_pos_subproof5.con.types.xml.gz2004-04-09 00:34 6.4K 
[ ]multExactExp_pos_subproof5.con.xml.gz2004-04-09 00:34 1.9K 
[ ]multExpMin.con.body.xml.gz2004-04-09 00:34 6.6K 
[ ]multExpMin.con.types.xml.gz2004-04-09 00:34 9.3K 
[ ]multExpMin.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound.con.body.xml.gz2004-04-09 00:34 28K 
[ ]multExpUpperBound.con.types.xml.gz2004-04-09 00:34 29K 
[ ]multExpUpperBound.con.xml.gz2004-04-09 00:34 1.3K 
[ ]multExpUpperBound_subproof.con.body.xml.gz2004-04-09 00:34 15K 
[ ]multExpUpperBound_subproof.con.types.xml.gz2004-04-09 00:34 11K 
[ ]multExpUpperBound_subproof.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound_subproof0.con.body.xml.gz2004-04-09 00:34 22K 
[ ]multExpUpperBound_subproof0.con.types.xml.gz2004-04-09 00:34 17K 
[ ]multExpUpperBound_subproof0.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound_subproof1.con.body.xml.gz2004-04-09 00:34 7.8K 
[ ]multExpUpperBound_subproof1.con.types.xml.gz2004-04-09 00:34 6.1K 
[ ]multExpUpperBound_subproof1.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound_subproof2.con.body.xml.gz2004-04-09 00:34 6.7K 
[ ]multExpUpperBound_subproof2.con.types.xml.gz2004-04-09 00:34 5.2K 
[ ]multExpUpperBound_subproof2.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound_subproof3.con.body.xml.gz2004-04-09 00:34 6.7K 
[ ]multExpUpperBound_subproof3.con.types.xml.gz2004-04-09 00:34 5.2K 
[ ]multExpUpperBound_subproof3.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound_subproof4.con.body.xml.gz2004-04-09 00:34 6.7K 
[ ]multExpUpperBound_subproof4.con.types.xml.gz2004-04-09 00:34 5.2K 
[ ]multExpUpperBound_subproof4.con.xml.gz2004-04-09 00:34 1.1K 
[ ]multExpUpperBound_subproof5.con.body.xml.gz2004-04-09 00:34 7.8K 
[ ]multExpUpperBound_subproof5.con.types.xml.gz2004-04-09 00:34 6.1K 
[ ]multExpUpperBound_subproof5.con.xml.gz2004-04-09 00:34 1.1K 
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80