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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Pdigit/2005-07-05 08:13 -  
[ ]digit.con.types.xml.gz2004-04-09 00:23 199  
[ ]digitAux.con.types.xml.gz2004-04-09 00:23 204  
[ ]pos_length.con.types.xml.gz2004-04-09 00:23 208  
[ ]pos_length.con.xml.gz2004-04-09 00:23 303  
[ ]digit.con.xml.gz2004-04-09 00:23 317  
[ ]digitO.con.body.xml.gz2004-04-09 00:23 340  
[ ]digitAux.con.xml.gz2004-04-09 00:23 354  
[ ]digit1.con.body.xml.gz2004-04-09 00:23 362  
[ ]digitO.con.xml.gz2004-04-09 00:23 379  
[ ]digitO.con.types.xml.gz2004-04-09 00:23 424  
[ ]digit1.con.xml.gz2004-04-09 00:23 425  
[ ]digit_abs.con.xml.gz2004-04-09 00:24 484  
[ ]digit1.con.types.xml.gz2004-04-09 00:23 486  
[ ]digitMore.con.xml.gz2004-04-09 00:23 493  
[ ]Zpower_nat_less.con.xml.gz2004-04-09 00:23 495  
[ ]digitNotZero_subproof.con.xml.gz2004-04-09 00:23 523  
[ ]Zpower_nat_monotone_S.con.xml.gz2004-04-09 00:23 542  
[ ]digit_monotone.con.xml.gz2004-04-09 00:23 551  
[ ]digitNotZero.con.xml.gz2004-04-09 00:23 556  
[ ]pos_length_pow.con.xml.gz2004-04-09 00:23 563  
[ ]Zpower_nat_monotone_le.con.xml.gz2004-04-09 00:23 571  
[ ]Zpower_nat_anti_eq.con.xml.gz2004-04-09 00:23 574  
[ ]Zpower_nat_monotone_lt.con.xml.gz2004-04-09 00:23 574  
[ ]Zpower_nat_anti_monotone_le.con.xml.gz2004-04-09 00:23 579  
[ ]Zpower_nat_anti_monotone_lt.con.xml.gz2004-04-09 00:23 582  
[ ]digit_minus1.con.xml.gz2004-04-09 00:24 582  
[ ]digitLess.con.xml.gz2004-04-09 00:23 599  
[ ]digitAux1.con.xml.gz2004-04-09 00:23 606  
[ ]digit_minus1_subproof0.con.xml.gz2004-04-09 00:23 617  
[ ]Zcompare_correct.con.xml.gz2004-04-09 00:23 623  
[ ]digit_anti_monotone_lt.con.xml.gz2004-04-09 00:24 643  
[ ]Zpower_nat_anti_monotone_lt_subproof.con.xml.gz2004-04-09 00:23 658  
[ ]digitInv.con.xml.gz2004-04-09 00:23 668  
[ ]pos_length_pow_subproof0.con.xml.gz2004-04-09 00:23 670  
[ ]digitAdd.con.xml.gz2004-04-09 00:23 679  
[ ]Zpower_nat_anti_monotone_lt_subproof0.con.xml.gz2004-04-09 00:23 703  
[ ]digit.con.body.xml.gz2004-04-09 00:23 706  
[ ]digitAuxMore.con.xml.gz2004-04-09 00:23 711  
[ ]pos_length.con.body.xml.gz2004-04-09 00:23 720  
[ ]digit_minus1_subproof.con.xml.gz2004-04-09 00:23 727  
[ ]digit_bound.con.xml.gz2004-04-09 00:24 730  
[ ]digitLess_subproof.con.xml.gz2004-04-09 00:23 739  
[ ]digitLess_subproof0.con.xml.gz2004-04-09 00:23 746  
[ ]digitAuxLess.con.xml.gz2004-04-09 00:23 752  
[ ]pos_length_pow_subproof.con.xml.gz2004-04-09 00:23 835  
[ ]Zpower_nat_anti_eq.con.types.xml.gz2004-04-09 00:23 927  
[ ]digit_bound.con.types.xml.gz2004-04-09 00:24 972  
[ ]digitAuxMore_subproof.con.xml.gz2004-04-09 00:23 1.0K 
[ ]digitAuxMore_subproof1.con.xml.gz2004-04-09 00:23 1.0K 
[ ]Zpower_nat_anti_monotone_le.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]digitNotZero_subproof.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zpower_nat_monotone_lt.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]digitAuxMore_subproof0.con.xml.gz2004-04-09 00:23 1.1K 
[ ]digitAuxMore_subproof2.con.xml.gz2004-04-09 00:23 1.1K 
[ ]Zpower_nat_anti_monotone_le.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]digitNotZero_subproof.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]Zpower_nat_anti_eq.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]digit_bound.con.body.xml.gz2004-04-09 00:24 1.1K 
[ ]Zpower_nat_monotone_le.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]Zpower_nat_monotone_lt.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]Zpower_nat_monotone_le.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]digitAux.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]digit_abs.con.body.xml.gz2004-04-09 00:24 1.3K 
[ ]digitNotZero.con.body.xml.gz2004-04-09 00:23 1.5K 
[ ]Zpower_nat_less.con.types.xml.gz2004-04-09 00:23 1.5K 
[ ]Zpower_nat_monotone_S.con.types.xml.gz2004-04-09 00:23 1.6K 
[ ]Zpower_nat_less.con.body.xml.gz2004-04-09 00:23 1.8K 
[ ]Zpower_nat_anti_monotone_lt.con.types.xml.gz2004-04-09 00:23 1.8K 
[ ]digitNotZero.con.types.xml.gz2004-04-09 00:23 1.9K 
[ ]Zpower_nat_monotone_S.con.body.xml.gz2004-04-09 00:23 1.9K 
[ ]digit_anti_monotone_lt.con.types.xml.gz2004-04-09 00:24 2.0K 
[ ]pos_length_pow_subproof0.con.types.xml.gz2004-04-09 00:23 2.1K 
[ ]Zpower_nat_anti_monotone_lt.con.body.xml.gz2004-04-09 00:23 2.1K 
[ ]Zcompare_correct.con.body.xml.gz2004-04-09 00:23 2.2K 
[ ]digit_abs.con.types.xml.gz2004-04-09 00:24 2.2K 
[ ]pos_length_pow_subproof0.con.body.xml.gz2004-04-09 00:23 2.3K 
[ ]digit_anti_monotone_lt.con.body.xml.gz2004-04-09 00:24 2.3K 
[ ]INDEX2005-07-05 08:12 2.5K 
[ ]digitMore.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]digit_minus1.con.body.xml.gz2004-04-09 00:24 2.6K 
[ ]digitLess.con.body.xml.gz2004-04-09 00:23 3.0K 
[ ]digitMore.con.types.xml.gz2004-04-09 00:23 3.0K 
[ ]digit_minus1.con.types.xml.gz2004-04-09 00:24 3.3K 
[ ]digitAuxMore_subproof.con.types.xml.gz2004-04-09 00:23 3.5K 
[ ]digitAuxMore_subproof1.con.types.xml.gz2004-04-09 00:23 3.5K 
[ ]digit_minus1_subproof0.con.types.xml.gz2004-04-09 00:24 3.6K 
[ ]digit_minus1_subproof0.con.body.xml.gz2004-04-09 00:24 4.0K 
[ ]Zpower_nat_anti_monotone_lt_subproof.con.types.xml.gz2004-04-09 00:23 4.1K 
[ ]digitAux1.con.body.xml.gz2004-04-09 00:23 4.1K 
[ ]Zcompare_correct.con.types.xml.gz2004-04-09 00:23 4.1K 
[ ]digitAdd.con.types.xml.gz2004-04-09 00:23 4.3K 
[ ]digitAdd.con.body.xml.gz2004-04-09 00:23 4.3K 
[ ]digitAuxMore_subproof.con.body.xml.gz2004-04-09 00:23 4.4K 
[ ]digitAuxMore_subproof1.con.body.xml.gz2004-04-09 00:23 4.4K 
[ ]digit_monotone.con.body.xml.gz2004-04-09 00:23 4.5K 
[ ]digitAux1.con.types.xml.gz2004-04-09 00:23 4.9K 
[ ]digit_monotone.con.types.xml.gz2004-04-09 00:23 5.2K 
[ ]digitLess_subproof.con.types.xml.gz2004-04-09 00:23 5.3K 
[ ]Zpower_nat_anti_monotone_lt_subproof.con.body.xml.gz2004-04-09 00:23 5.4K 
[ ]digitLess_subproof0.con.types.xml.gz2004-04-09 00:23 5.4K 
[ ]digitInv.con.body.xml.gz2004-04-09 00:23 5.5K 
[ ]digitAuxMore_subproof0.con.types.xml.gz2004-04-09 00:23 5.9K 
[ ]digitAuxMore_subproof2.con.types.xml.gz2004-04-09 00:23 5.9K 
[ ]digitLess.con.types.xml.gz2004-04-09 00:23 6.3K 
[ ]digitInv.con.types.xml.gz2004-04-09 00:23 6.7K 
[ ]digitLess_subproof.con.body.xml.gz2004-04-09 00:23 6.8K 
[ ]digit_minus1_subproof.con.types.xml.gz2004-04-09 00:23 7.0K 
[ ]digitLess_subproof0.con.body.xml.gz2004-04-09 00:23 7.1K 
[ ]digitAuxMore_subproof0.con.body.xml.gz2004-04-09 00:23 7.2K 
[ ]digitAuxMore_subproof2.con.body.xml.gz2004-04-09 00:23 7.3K 
[ ]pos_length_pow.con.body.xml.gz2004-04-09 00:23 8.4K 
[ ]digit_minus1_subproof.con.body.xml.gz2004-04-09 00:23 8.4K 
[ ]pos_length_pow.con.types.xml.gz2004-04-09 00:23 8.8K 
[ ]Zpower_nat_anti_monotone_lt_subproof0.con.types.xml.gz2004-04-09 00:23 8.9K 
[ ]digitAuxLess.con.body.xml.gz2004-04-09 00:23 9.1K 
[ ]digitAuxMore.con.body.xml.gz2004-04-09 00:23 10K 
[ ]pos_length_pow_subproof.con.types.xml.gz2004-04-09 00:23 11K 
[ ]Zpower_nat_anti_monotone_lt_subproof0.con.body.xml.gz2004-04-09 00:23 12K 
[ ]pos_length_pow_subproof.con.body.xml.gz2004-04-09 00:23 12K 
[ ]digitAuxMore.con.types.xml.gz2004-04-09 00:23 16K 
[ ]digitAuxLess.con.types.xml.gz2004-04-09 00:23 20K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80