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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 3.3K 
[ ]M1.con.body.xml.gz2004-04-08 09:57 293  
[ ]M1.con.types.xml.gz2004-04-08 09:57 198  
[ ]M1.con.xml.gz2004-04-08 09:57 293  
[ ]T1.con.body.xml.gz2004-04-08 09:57 393  
[ ]T1.con.types.xml.gz2004-04-08 09:57 198  
[ ]T1.con.xml.gz2004-04-08 09:57 250  
[ ]T1_eqT.con.body.xml.gz2004-04-08 09:57 2.3K 
[ ]T1_eqT.con.types.xml.gz2004-04-08 09:57 2.9K 
[ ]T1_eqT.con.xml.gz2004-04-08 09:57 471  
[ ]T1_multTerm_l.con.body.xml.gz2004-04-08 09:57 3.2K 
[ ]T1_multTerm_l.con.types.xml.gz2004-04-08 09:57 3.0K 
[ ]T1_multTerm_l.con.xml.gz2004-04-08 09:57 503  
[ ]T1_multTerm_r.con.body.xml.gz2004-04-08 09:57 3.5K 
[ ]T1_multTerm_r.con.types.xml.gz2004-04-08 09:57 3.2K 
[ ]T1_multTerm_r.con.xml.gz2004-04-08 09:57 505  
[ ]T1_nz.con.body.xml.gz2004-04-08 09:57 431  
[ ]T1_nz.con.types.xml.gz2004-04-08 09:57 396  
[ ]T1_nz.con.xml.gz2004-04-08 09:57 358  
[ ]T2M.con.body.xml.gz2004-04-08 09:57 626  
[ ]T2M.con.types.xml.gz2004-04-08 09:57 200  
[ ]T2M.con.xml.gz2004-04-08 09:57 359  
[ ]Term.con.body.xml.gz2004-04-08 09:57 350  
[ ]Term.con.types.xml.gz2004-04-08 09:57 201  
[ ]Term.con.xml.gz2004-04-08 09:57 240  
[DIR]Term/2005-07-05 08:13 -  
[ ]eqT.con.body.xml.gz2004-04-08 09:57 486  
[ ]eqT.con.types.xml.gz2004-04-08 09:57 200  
[ ]eqT.con.xml.gz2004-04-08 09:57 320  
[ ]eqT_refl.con.body.xml.gz2004-04-08 09:57 485  
[ ]eqT_refl.con.types.xml.gz2004-04-08 09:57 649  
[ ]eqT_refl.con.xml.gz2004-04-08 09:57 344  
[ ]eqT_sym.con.body.xml.gz2004-04-08 09:57 630  
[ ]eqT_sym.con.types.xml.gz2004-04-08 09:57 793  
[ ]eqT_sym.con.xml.gz2004-04-08 09:57 344  
[ ]eqT_trans.con.body.xml.gz2004-04-08 09:57 853  
[ ]eqT_trans.con.types.xml.gz2004-04-08 09:57 1.1K 
[ ]eqT_trans.con.xml.gz2004-04-08 09:57 347  
[ ]eqT_zerop_is_eqTerm.con.body.xml.gz2004-04-08 09:57 2.0K 
[ ]eqT_zerop_is_eqTerm.con.types.xml.gz2004-04-08 09:57 2.6K 
[ ]eqT_zerop_is_eqTerm.con.xml.gz2004-04-08 09:57 538  
[ ]eqTerm.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]eqTerm.con.types.xml.gz2004-04-08 09:57 204  
[ ]eqTerm.con.xml.gz2004-04-08 09:57 332  
[ ]eqTerm_T1_eqT.con.body.xml.gz2004-04-08 09:57 1.2K 
[ ]eqTerm_T1_eqT.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]eqTerm_T1_eqT.con.xml.gz2004-04-08 09:57 429  
[ ]eqTerm_dec.con.body.xml.gz2004-04-08 09:57 3.9K 
[ ]eqTerm_dec.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]eqTerm_dec.con.xml.gz2004-04-08 09:57 510  
[ ]eqTerm_imp_eqT.con.body.xml.gz2004-04-08 09:57 1.7K 
[ ]eqTerm_imp_eqT.con.types.xml.gz2004-04-08 09:57 2.0K 
[ ]eqTerm_imp_eqT.con.xml.gz2004-04-08 09:57 440  
[ ]eqTerm_invTerm_comp.con.body.xml.gz2004-04-08 09:57 2.1K 
[ ]eqTerm_invTerm_comp.con.types.xml.gz2004-04-08 09:57 2.3K 
[ ]eqTerm_invTerm_comp.con.xml.gz2004-04-08 09:57 524  
[ ]eqTerm_minusTerm_plusTerm_invTerm.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]eqTerm_minusTerm_plusTerm_invTerm.con.types.xml.gz2004-04-08 09:57 1.7K 
[ ]eqTerm_minusTerm_plusTerm_invTerm.con.xml.gz2004-04-08 09:57 541  
[ ]eqTerm_multTerm_comp.con.body.xml.gz2004-04-08 09:57 5.2K 
[ ]eqTerm_multTerm_comp.con.types.xml.gz2004-04-08 09:57 5.5K 
[ ]eqTerm_multTerm_comp.con.xml.gz2004-04-08 09:57 601  
[ ]eqTerm_plusTerm_comp.con.body.xml.gz2004-04-08 09:57 5.2K 
[ ]eqTerm_plusTerm_comp.con.types.xml.gz2004-04-08 09:57 6.1K 
[ ]eqTerm_plusTerm_comp.con.xml.gz2004-04-08 09:57 664  
[ ]eqTerm_refl.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]eqTerm_refl.con.types.xml.gz2004-04-08 09:57 1.1K 
[ ]eqTerm_refl.con.xml.gz2004-04-08 09:57 388  
[ ]eqTerm_sym.con.body.xml.gz2004-04-08 09:57 2.1K 
[ ]eqTerm_sym.con.types.xml.gz2004-04-08 09:57 2.1K 
[ ]eqTerm_sym.con.xml.gz2004-04-08 09:57 386  
[ ]eqTerm_trans.con.body.xml.gz2004-04-08 09:57 3.4K 
[ ]eqTerm_trans.con.types.xml.gz2004-04-08 09:57 3.6K 
[ ]eqTerm_trans.con.xml.gz2004-04-08 09:57 389  
[ ]invTerm.con.body.xml.gz2004-04-08 09:57 718  
[ ]invTerm.con.types.xml.gz2004-04-08 09:57 205  
[ ]invTerm.con.xml.gz2004-04-08 09:57 306  
[ ]invTerm_eqT.con.body.xml.gz2004-04-08 09:57 861  
[ ]invTerm_eqT.con.types.xml.gz2004-04-08 09:57 1.1K 
[ ]invTerm_eqT.con.xml.gz2004-04-08 09:57 408  
[ ]invTerm_invol.con.body.xml.gz2004-04-08 09:57 3.8K 
[ ]invTerm_invol.con.types.xml.gz2004-04-08 09:57 2.5K 
[ ]invTerm_invol.con.xml.gz2004-04-08 09:57 460  
[ ]minusTerm.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]minusTerm.con.types.xml.gz2004-04-08 09:57 209  
[ ]minusTerm.con.xml.gz2004-04-08 09:57 325  
[ ]minusTerm_eqT.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]minusTerm_eqT.con.types.xml.gz2004-04-08 09:57 1.6K 
[ ]minusTerm_eqT.con.xml.gz2004-04-08 09:57 477  
[ ]multTerm.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]multTerm.con.types.xml.gz2004-04-08 09:57 207  
[ ]multTerm.con.xml.gz2004-04-08 09:57 319  
[ ]multTerm_assoc.con.body.xml.gz2004-04-08 09:57 2.5K 
[ ]multTerm_assoc.con.types.xml.gz2004-04-08 09:57 2.7K 
[ ]multTerm_assoc.con.xml.gz2004-04-08 09:57 547  
[ ]multTerm_com.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]multTerm_com.con.types.xml.gz2004-04-08 09:57 1.7K 
[ ]multTerm_com.con.xml.gz2004-04-08 09:57 483  
[ ]multTerm_eqT.con.body.xml.gz2004-04-08 09:57 3.6K 
[ ]multTerm_eqT.con.types.xml.gz2004-04-08 09:57 4.6K 
[ ]multTerm_eqT.con.xml.gz2004-04-08 09:57 555  
[ ]multTerm_minusTerm_dist_l.con.body.xml.gz2004-04-08 09:57 2.3K 
[ ]multTerm_minusTerm_dist_l.con.types.xml.gz2004-04-08 09:57 3.8K 
[ ]multTerm_minusTerm_dist_l.con.xml.gz2004-04-08 09:57 630  
[ ]multTerm_plusTerm_dist_l.con.body.xml.gz2004-04-08 09:57 3.5K 
[ ]multTerm_plusTerm_dist_l.con.types.xml.gz2004-04-08 09:57 3.4K 
[ ]multTerm_plusTerm_dist_l.con.xml.gz2004-04-08 09:57 587  
[ ]multTerm_plusTerm_dist_r.con.body.xml.gz2004-04-08 09:57 2.5K 
[ ]multTerm_plusTerm_dist_r.con.types.xml.gz2004-04-08 09:57 2.8K 
[ ]multTerm_plusTerm_dist_r.con.xml.gz2004-04-08 09:57 584  
[ ]multTerm_zeroP_div.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]multTerm_zeroP_div.con.types.xml.gz2004-04-08 09:57 1.9K 
[ ]multTerm_zeroP_div.con.xml.gz2004-04-08 09:57 568  
[ ]mult_invTerm_com.con.body.xml.gz2004-04-08 09:57 9.1K 
[ ]mult_invTerm_com.con.types.xml.gz2004-04-08 09:57 6.1K 
[ ]mult_invTerm_com.con.xml.gz2004-04-08 09:57 530  
[ ]mult_invTerm_com_r.con.body.xml.gz2004-04-08 09:57 8.7K 
[ ]mult_invTerm_com_r.con.types.xml.gz2004-04-08 09:57 5.9K 
[ ]mult_invTerm_com_r.con.xml.gz2004-04-08 09:57 529  
[ ]nZero_invTerm_T1.con.body.xml.gz2004-04-08 09:57 361  
[ ]nZero_invTerm_T1.con.types.xml.gz2004-04-08 09:57 372  
[ ]nZero_invTerm_T1.con.xml.gz2004-04-08 09:57 397  
[ ]nZero_invTerm_nZero.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]nZero_invTerm_nZero.con.types.xml.gz2004-04-08 09:57 1.2K 
[ ]nZero_invTerm_nZero.con.xml.gz2004-04-08 09:57 521  
[ ]nzeroP_comp_eqTerm.con.body.xml.gz2004-04-08 09:57 697  
[ ]nzeroP_comp_eqTerm.con.types.xml.gz2004-04-08 09:57 940  
[ ]nzeroP_comp_eqTerm.con.xml.gz2004-04-08 09:57 554  
[ ]nzeroP_multTerm.con.body.xml.gz2004-04-08 09:57 761  
[ ]nzeroP_multTerm.con.types.xml.gz2004-04-08 09:57 904  
[ ]nzeroP_multTerm.con.xml.gz2004-04-08 09:57 575  
[ ]plusTerm.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]plusTerm.con.types.xml.gz2004-04-08 09:57 207  
[ ]plusTerm.con.xml.gz2004-04-08 09:57 323  
[ ]plusTerm_assoc.con.body.xml.gz2004-04-08 09:57 3.2K 
[ ]plusTerm_assoc.con.types.xml.gz2004-04-08 09:57 3.3K 
[ ]plusTerm_assoc.con.xml.gz2004-04-08 09:57 621  
[ ]plusTerm_com.con.body.xml.gz2004-04-08 09:57 1.8K 
[ ]plusTerm_com.con.types.xml.gz2004-04-08 09:57 2.0K 
[ ]plusTerm_com.con.xml.gz2004-04-08 09:57 530  
[ ]plusTerm_comp_l.con.body.xml.gz2004-04-08 09:57 3.5K 
[ ]plusTerm_comp_l.con.types.xml.gz2004-04-08 09:57 3.8K 
[ ]plusTerm_comp_l.con.xml.gz2004-04-08 09:57 606  
[ ]plusTerm_comp_r.con.body.xml.gz2004-04-08 09:57 3.5K 
[ ]plusTerm_comp_r.con.types.xml.gz2004-04-08 09:57 3.9K 
[ ]plusTerm_comp_r.con.xml.gz2004-04-08 09:57 602  
[ ]plusTerm_eqT1.con.body.xml.gz2004-04-08 09:57 1.6K 
[ ]plusTerm_eqT1.con.types.xml.gz2004-04-08 09:57 1.6K 
[ ]plusTerm_eqT1.con.xml.gz2004-04-08 09:57 481  
[ ]plusTerm_eqT2.con.body.xml.gz2004-04-08 09:57 1.4K 
[ ]plusTerm_eqT2.con.types.xml.gz2004-04-08 09:57 1.5K 
[ ]plusTerm_eqT2.con.xml.gz2004-04-08 09:57 471  
[ ]plusTerm_invTerm_zeroP.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]plusTerm_invTerm_zeroP.con.types.xml.gz2004-04-08 09:57 1.1K 
[ ]plusTerm_invTerm_zeroP.con.xml.gz2004-04-08 09:57 479  
[ ]zeroP.con.body.xml.gz2004-04-08 09:57 662  
[ ]zeroP.con.types.xml.gz2004-04-08 09:57 203  
[ ]zeroP.con.xml.gz2004-04-08 09:57 318  
[ ]zeroP_comp_eqTerm.con.body.xml.gz2004-04-08 09:57 2.0K 
[ ]zeroP_comp_eqTerm.con.types.xml.gz2004-04-08 09:57 2.2K 
[ ]zeroP_comp_eqTerm.con.xml.gz2004-04-08 09:57 498  
[ ]zeroP_dec.con.body.xml.gz2004-04-08 09:57 770  
[ ]zeroP_dec.con.types.xml.gz2004-04-08 09:57 211  
[ ]zeroP_dec.con.xml.gz2004-04-08 09:57 480  
[ ]zeroP_invTerm_zeroP.con.body.xml.gz2004-04-08 09:57 1.9K 
[ ]zeroP_invTerm_zeroP.con.types.xml.gz2004-04-08 09:57 1.6K 
[ ]zeroP_invTerm_zeroP.con.xml.gz2004-04-08 09:57 480  
[ ]zeroP_minusTerm.con.body.xml.gz2004-04-08 09:57 655  
[ ]zeroP_minusTerm.con.types.xml.gz2004-04-08 09:57 887  
[ ]zeroP_minusTerm.con.xml.gz2004-04-08 09:57 445  
[ ]zeroP_multTerm_l.con.body.xml.gz2004-04-08 09:57 1.8K 
[ ]zeroP_multTerm_l.con.types.xml.gz2004-04-08 09:57 1.8K 
[ ]zeroP_multTerm_l.con.xml.gz2004-04-08 09:57 500  
[ ]zeroP_multTerm_r.con.body.xml.gz2004-04-08 09:57 2.0K 
[ ]zeroP_multTerm_r.con.types.xml.gz2004-04-08 09:57 2.0K 
[ ]zeroP_multTerm_r.con.xml.gz2004-04-08 09:57 498  
[ ]zeroP_plusTerml.con.body.xml.gz2004-04-08 09:57 2.7K 
[ ]zeroP_plusTerml.con.types.xml.gz2004-04-08 09:57 2.7K 
[ ]zeroP_plusTerml.con.xml.gz2004-04-08 09:57 538  
[ ]zeroP_plusTermr.con.body.xml.gz2004-04-08 09:57 2.4K 
[ ]zeroP_plusTermr.con.types.xml.gz2004-04-08 09:57 2.5K 
[ ]zeroP_plusTermr.con.xml.gz2004-04-08 09:57 535  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80