Index of /xml/Rocq/HIGMAN/Higman

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Higman_/2005-07-05 08:13 -  
[ ]A.ind.types.xml.gz2004-04-09 01:16 187  
[ ]M.ind.types.xml.gz2004-04-09 01:16 187  
[ ]f.ind.types.xml.gz2004-04-09 01:16 187  
[ ]g.con.types.xml.gz2004-04-09 01:16 187  
[ ]IN.ind.types.xml.gz2004-04-09 01:16 189  
[ ]Xn.ind.types.xml.gz2004-04-09 01:16 189  
[ ]fx.ind.types.xml.gz2004-04-09 01:16 189  
[ ]X1.con.types.xml.gz2004-04-09 01:16 190  
[ ]bad.ind.types.xml.gz2004-04-09 01:16 190  
[ ]ltM.ind.types.xml.gz2004-04-09 01:16 190  
[ ]ltw.ind.types.xml.gz2004-04-09 01:16 190  
[ ]cex.con.types.xml.gz2004-04-09 01:16 191  
[ ]eql.con.types.xml.gz2004-04-09 01:16 191  
[ ]lel.con.types.xml.gz2004-04-09 01:16 191  
[ ]len.con.types.xml.gz2004-04-09 01:16 191  
[ ]ltl.con.types.xml.gz2004-04-09 01:16 191  
[ ]eqgn.con.types.xml.gz2004-04-09 01:16 192  
[ ]holf.con.types.xml.gz2004-04-09 01:16 192  
[ ]tail.con.types.xml.gz2004-04-09 01:16 192  
[ ]word.ind.types.xml.gz2004-04-09 01:16 192  
[ ]Badf.con.types.xml.gz2004-04-09 01:16 193  
[ ]Cexf.con.types.xml.gz2004-04-09 01:16 193  
[ ]Exif.con.types.xml.gz2004-04-09 01:16 193  
[ ]Exig.con.types.xml.gz2004-04-09 01:16 193  
[ ]Unig.con.types.xml.gz2004-04-09 01:16 193  
[ ]head.con.types.xml.gz2004-04-09 01:16 193  
[ ]slexn.ind.types.xml.gz2004-04-09 01:16 193  
[ ]Exifx.con.types.xml.gz2004-04-09 01:16 194  
[ ]final.con.types.xml.gz2004-04-09 01:16 194  
[ ]thick.con.types.xml.gz2004-04-09 01:16 194  
[ ]A_rec.con.types.xml.gz2004-04-09 01:16 195  
[ ]Badfx.con.types.xml.gz2004-04-09 01:16 195  
[ ]M_rec.con.types.xml.gz2004-04-09 01:16 195  
[ ]f_rec.con.types.xml.gz2004-04-09 01:16 195  
[ ]higman.con.types.xml.gz2004-04-09 01:16 195  
[ ]BadMin.con.types.xml.gz2004-04-09 01:16 196  
[ ]ExiMin.con.types.xml.gz2004-04-09 01:16 196  
[ ]Leastp.ind.types.xml.gz2004-04-09 01:16 196  
[ ]Minbad.con.types.xml.gz2004-04-09 01:16 196  
[ ]Mincex.con.types.xml.gz2004-04-09 01:16 196  
[ ]reader.con.types.xml.gz2004-04-09 01:16 196  
[ ]A_rect.con.types.xml.gz2004-04-09 01:16 197  
[ ]M_rect.con.types.xml.gz2004-04-09 01:16 197  
[ ]Xn_rec.con.types.xml.gz2004-04-09 01:16 197  
[ ]exi_im.con.types.xml.gz2004-04-09 01:16 197  
[ ]f_rect.con.types.xml.gz2004-04-09 01:16 197  
[ ]fx_rec.con.types.xml.gz2004-04-09 01:16 197  
[ ]slexn'.con.types.xml.gz2004-04-09 01:16 197  
[ ]uniq_im.con.types.xml.gz2004-04-09 01:16 198  
[ ]Minbadns.con.types.xml.gz2004-04-09 01:16 199  
[ ]Xa_elim.con.types.xml.gz2004-04-09 01:16 199  
[ ]Xn_elim.con.types.xml.gz2004-04-09 01:16 199  
[ ]Xn_rect.con.types.xml.gz2004-04-09 01:16 199  
[ ]bad_rec.con.types.xml.gz2004-04-09 01:16 199  
[ ]connected.ind.types.xml.gz2004-04-09 01:16 199  
[ ]fx_rect.con.types.xml.gz2004-04-09 01:16 199  
[ ]ltM_rec.con.types.xml.gz2004-04-09 01:16 199  
[ ]bad_rect.con.types.xml.gz2004-04-09 01:16 200  
[ ]ltM_rect.con.types.xml.gz2004-04-09 01:16 200  
[ ]word_rec.con.types.xml.gz2004-04-09 01:16 200  
[ ]slexn_MV.con.types.xml.gz2004-04-09 01:16 201  
[ ]g_grows_0.con.types.xml.gz2004-04-09 01:16 202  
[ ]word_rect.con.types.xml.gz2004-04-09 01:16 202  
[ ]Mincex_rec.con.types.xml.gz2004-04-09 01:16 203  
[ ]exi_cmin_S.con.types.xml.gz2004-04-09 01:16 203  
[ ]Leastp_rec.con.types.xml.gz2004-04-09 01:16 204  
[ ]Leastp_rect.con.types.xml.gz2004-04-09 01:16 206  
[ ]Mincex_intro.con.types.xml.gz2004-04-09 01:16 206  
[ ]connected_rec.con.types.xml.gz2004-04-09 01:16 207  
[ ]ltw_eq_false.con.types.xml.gz2004-04-09 01:16 208  
[ ]Xn_decreases1.con.types.xml.gz2004-04-09 01:16 209  
[ ]connected_rect.con.types.xml.gz2004-04-09 01:16 209  
[ ]ltw_ltl_false.con.types.xml.gz2004-04-09 01:16 209  
[ ]the_next_after.con.types.xml.gz2004-04-09 01:16 210  
[ ]infinitely_many.con.types.xml.gz2004-04-09 01:16 211  
[ ]inf_A0_or_inf_A1.con.types.xml.gz2004-04-09 01:16 213  
[ ]ltw_slexn_false.con.types.xml.gz2004-04-09 01:16 213  
[ ]one_letter_final.con.types.xml.gz2004-04-09 01:16 213  
[ ]little_inf_A0_or_inf_A1.con.types.xml.gz2004-04-09 01:16 225  
[ ]higman.con.xml.gz2004-04-09 01:16 245  
[ ]cex.con.xml.gz2004-04-09 01:16 251  
[ ]exi_im.con.xml.gz2004-04-09 01:16 255  
[ ]uniq_im.con.xml.gz2004-04-09 01:16 256  
[ ]final.con.xml.gz2004-04-09 01:16 275  
[ ]tail.con.xml.gz2004-04-09 01:16 281  
[ ]eqgn_f_fx.con.types.xml.gz2004-04-09 01:16 282  
[ ]head.con.xml.gz2004-04-09 01:16 284  
[ ]len.con.xml.gz2004-04-09 01:16 293  
[ ]eql.con.xml.gz2004-04-09 01:16 301  
[ ]lel.con.xml.gz2004-04-09 01:16 301  
[ ]ltl.con.xml.gz2004-04-09 01:16 301  
[ ]M.ind.xml.gz2004-04-09 01:16 310  
[ ]slexn'.con.xml.gz2004-04-09 01:16 310  
[ ]CexMin.con.xml.gz2004-04-09 01:16 313  
[ ]UniMin.con.xml.gz2004-04-09 01:16 316  
[ ]Badf.con.xml.gz2004-04-09 01:16 320  
[ ]infinitely_many.con.xml.gz2004-04-09 01:16 335  
[ ]Cexf.con.xml.gz2004-04-09 01:16 336  
[ ]ExiMin.con.xml.gz2004-04-09 01:16 336  
[ ]Exif.con.xml.gz2004-04-09 01:16 338  
[ ]Unif.con.xml.gz2004-04-09 01:16 338  
[ ]g.con.xml.gz2004-04-09 01:16 339  
[ ]Mincex.con.xml.gz2004-04-09 01:16 340  
[ ]slexn'_rec.con.types.xml.gz2004-04-09 01:16 340  
[ ]ExiMin.con.body.xml.gz2004-04-09 01:16 343  
[ ]Badfx.con.xml.gz2004-04-09 01:16 344  
[ ]BadMin.con.xml.gz2004-04-09 01:16 348  
[ ]eqgn_f_fx.con.xml.gz2004-04-09 01:16 351  
[ ]thick.con.xml.gz2004-04-09 01:16 362  
[ ]Xn_in_Xa.con.types.xml.gz2004-04-09 01:16 366  
[ ]the_next_after.con.xml.gz2004-04-09 01:16 366  
[ ]eqgn_trans.con.types.xml.gz2004-04-09 01:16 367  
[ ]A0_A1.con.xml.gz2004-04-09 01:16 370  
[ ]lt_connected.con.types.xml.gz2004-04-09 01:16 370  
[ ]Minbadns.con.xml.gz2004-04-09 01:16 380  
[ ]word.ind.xml.gz2004-04-09 01:16 380  
[ ]MV_IN_all.con.xml.gz2004-04-09 01:16 381  
[ ]Minbad.con.xml.gz2004-04-09 01:16 387  
[ ]ltM_connected.con.types.xml.gz2004-04-09 01:16 388  
[ ]ltM_connected.con.xml.gz2004-04-09 01:16 397  
[ ]eqgn.con.xml.gz2004-04-09 01:16 401  
[ ]X1.con.xml.gz2004-04-09 01:16 402  
[ ]ltw_connected.con.xml.gz2004-04-09 01:16 402  
[ ]Badf.con.body.xml.gz2004-04-09 01:16 403  
[ ]M_rec.con.body.xml.gz2004-04-09 01:16 404  
[ ]slexn_MV.con.xml.gz2004-04-09 01:16 405  
[ ]M_ind.con.body.xml.gz2004-04-09 01:16 407  
[ ]word_rec.con.body.xml.gz2004-04-09 01:16 408  
[ ]UniMin1.con.xml.gz2004-04-09 01:16 411  
[ ]word_ind.con.body.xml.gz2004-04-09 01:16 411  
[ ]wfi_ltl.con.types.xml.gz2004-04-09 01:16 412  
[ ]BadMin.con.body.xml.gz2004-04-09 01:16 414  
[ ]Xn_decreases.con.xml.gz2004-04-09 01:16 415  
[ ]A_rec.con.body.xml.gz2004-04-09 01:16 416  
[ ]ltM_rec.con.body.xml.gz2004-04-09 01:16 418  
[ ]A_ind.con.body.xml.gz2004-04-09 01:16 421  
[ ]Xn_non_empty.con.xml.gz2004-04-09 01:16 421  
[ ]lel.con.body.xml.gz2004-04-09 01:16 422  
[ ]lt_connected.con.xml.gz2004-04-09 01:16 422  
[ ]ltM_ind.con.body.xml.gz2004-04-09 01:16 423  
[ ]ltl.con.body.xml.gz2004-04-09 01:16 429  
[ ]Badfx.con.body.xml.gz2004-04-09 01:16 430  
[ ]ltM.ind.xml.gz2004-04-09 01:16 430  
[ ]bad_thick.con.xml.gz2004-04-09 01:16 433  
[ ]CexMin.con.types.xml.gz2004-04-09 01:16 435  
[ ]bad.ind.xml.gz2004-04-09 01:16 435  
[ ]slexn_slexn'.con.xml.gz2004-04-09 01:16 435  
[ ]bad_rec.con.body.xml.gz2004-04-09 01:16 438  
[ ]g.con.body.xml.gz2004-04-09 01:16 440  
[ ]eql.con.body.xml.gz2004-04-09 01:16 441  
[ ]bad_ind.con.body.xml.gz2004-04-09 01:16 442  
[ ]UniMin.con.types.xml.gz2004-04-09 01:16 443  
[ ]switcher.con.types.xml.gz2004-04-09 01:16 443  
[ ]Xn_non_empty.con.types.xml.gz2004-04-09 01:16 448  
[ ]wfi_ltM.con.types.xml.gz2004-04-09 01:16 453  
[ ]ltw_slexn_false.con.xml.gz2004-04-09 01:16 456  
[ ]ltw_eq_false.con.xml.gz2004-04-09 01:16 458  
[ ]slexn_connected.con.xml.gz2004-04-09 01:16 459  
[ ]ltw_ltl_false.con.xml.gz2004-04-09 01:16 461  
[ ]M_rec.con.xml.gz2004-04-09 01:16 463  
[ ]M_rect.con.xml.gz2004-04-09 01:16 464  
[ ]higman.con.body.xml.gz2004-04-09 01:16 469  
[ ]M_ind.con.xml.gz2004-04-09 01:16 470  
[ ]Xn_in_Xa.con.xml.gz2004-04-09 01:16 473  
[ ]inf_A0_or_inf_A1.con.xml.gz2004-04-09 01:16 475  
[ ]exi_cmin_exi.con.types.xml.gz2004-04-09 01:16 478  
[ ]Unif.con.types.xml.gz2004-04-09 01:16 480  
[ ]exi_im.con.body.xml.gz2004-04-09 01:16 481  
[ ]Exig.con.xml.gz2004-04-09 01:16 485  
[ ]Xn_decreases1.con.xml.gz2004-04-09 01:16 496  
[ ]Exifx.con.xml.gz2004-04-09 01:16 497  
[ ]tail.con.body.xml.gz2004-04-09 01:16 499  
[ ]one_letter_final.con.xml.gz2004-04-09 01:16 502  
[ ]head.con.body.xml.gz2004-04-09 01:16 503  
[ ]infinitely_many.con.body.xml.gz2004-04-09 01:16 503  
[ ]f.ind.xml.gz2004-04-09 01:16 507  
[ ]thick.con.body.xml.gz2004-04-09 01:16 510  
[ ]bad_thick.con.types.xml.gz2004-04-09 01:16 511  
[ ]g_grows_0.con.xml.gz2004-04-09 01:16 515  
[ ]f_rec.con.body.xml.gz2004-04-09 01:16 520  
[ ]reader.con.xml.gz2004-04-09 01:16 520  
[ ]Xn_rec.con.body.xml.gz2004-04-09 01:16 523  
[ ]lt_minus.con.xml.gz2004-04-09 01:16 523  
[ ]wfi_ltl.con.xml.gz2004-04-09 01:16 523  
[ ]f_ind.con.body.xml.gz2004-04-09 01:16 528  
[ ]Xn_ind.con.body.xml.gz2004-04-09 01:16 529  
[ ]ltM_rec.con.xml.gz2004-04-09 01:16 534  
[ ]ltM_rect.con.xml.gz2004-04-09 01:16 534  
[ ]ltM_ind.con.xml.gz2004-04-09 01:16 535  
[ ]Exif.con.body.xml.gz2004-04-09 01:16 542  
[ ]eqgn_fxMin_h.con.types.xml.gz2004-04-09 01:16 547  
[ ]ltw_ind.con.xml.gz2004-04-09 01:16 555  
[ ]ltw_rec.con.xml.gz2004-04-09 01:16 557  
[ ]Leastp_rec.con.body.xml.gz2004-04-09 01:16 558  
[ ]A0_A1.con.body.xml.gz2004-04-09 01:16 559  
[ ]Leastp_ind.con.body.xml.gz2004-04-09 01:16 564  
[ ]little_inf_A0_or_inf_A1.con.xml.gz2004-04-09 01:16 564  
[ ]fx_rec.con.body.xml.gz2004-04-09 01:16 565  
[ ]M_ind.con.types.xml.gz2004-04-09 01:16 567  
[ ]wfi_ltM.con.xml.gz2004-04-09 01:16 570  
[ ]fx_ind.con.body.xml.gz2004-04-09 01:16 571  
[ ]Xa_elim.con.xml.gz2004-04-09 01:16 572  
[ ]wfi_ltw.con.xml.gz2004-04-09 01:16 572  
[ ]A.ind.xml.gz2004-04-09 01:16 577  
[ ]uniq_im.con.body.xml.gz2004-04-09 01:16 579  
[ ]word_rect.con.xml.gz2004-04-09 01:16 579  
[ ]Unig.con.xml.gz2004-04-09 01:16 580  
[ ]word_rec.con.xml.gz2004-04-09 01:16 580  
[ ]Unifx.con.xml.gz2004-04-09 01:16 581  
[ ]wfi_ltw.con.types.xml.gz2004-04-09 01:16 585  
[ ]word_ind.con.xml.gz2004-04-09 01:16 585  
[ ]g_grows.con.xml.gz2004-04-09 01:16 586  
[ ]one_letter_final.con.body.xml.gz2004-04-09 01:16 588  
[ ]wfi_ltl1.con.xml.gz2004-04-09 01:16 590  
[ ]cex.con.body.xml.gz2004-04-09 01:16 592  
[ ]ExiMin1.con.xml.gz2004-04-09 01:16 596  
[ ]ltw_ind.con.types.xml.gz2004-04-09 01:16 598  
[ ]A0_A1.con.types.xml.gz2004-04-09 01:16 600  
[ ]bad_rect.con.xml.gz2004-04-09 01:16 601  
[ ]Cexfx.con.xml.gz2004-04-09 01:16 603  
[ ]bad_rec.con.xml.gz2004-04-09 01:16 603  
[ ]ltw.ind.xml.gz2004-04-09 01:16 606  
[ ]bad_ind.con.xml.gz2004-04-09 01:16 607  
[ ]Xn_in_Xa.con.body.xml.gz2004-04-09 01:16 610  
[ ]MV_IN_all.con.body.xml.gz2004-04-09 01:16 618  
[ ]connected_rec.con.body.xml.gz2004-04-09 01:16 618  
[ ]Xn_decreases.con.types.xml.gz2004-04-09 01:16 619  
[ ]X'_elim.con.xml.gz2004-04-09 01:16 621  
[ ]the_next_after.con.body.xml.gz2004-04-09 01:16 622  
[ ]connected_ind.con.body.xml.gz2004-04-09 01:16 623  
[ ]switcher.con.xml.gz2004-04-09 01:16 623  
[ ]MV_IN_all.con.types.xml.gz2004-04-09 01:16 632  
[ ]M_rect.con.body.xml.gz2004-04-09 01:16 632  
[ ]wfi_ltl.con.body.xml.gz2004-04-09 01:16 635  
[ ]f_rect.con.xml.gz2004-04-09 01:16 643  
[ ]f_rec.con.xml.gz2004-04-09 01:16 644  
[ ]ltw_rec.con.types.xml.gz2004-04-09 01:16 645  
[ ]f_ind.con.xml.gz2004-04-09 01:16 649  
[ ]eqgn_Minbadns.con.xml.gz2004-04-09 01:16 661  
[ ]holf.con.xml.gz2004-04-09 01:16 664  
[ ]ltM_ind.con.types.xml.gz2004-04-09 01:16 665  
[ ]Minbadns.con.body.xml.gz2004-04-09 01:16 671  
[ ]Mincex_intro.con.xml.gz2004-04-09 01:16 672  
[ ]snake.con.types.xml.gz2004-04-09 01:16 679  
[ ]ltw_ind.con.body.xml.gz2004-04-09 01:16 686  
[ ]eqgn_fxMin_h.con.xml.gz2004-04-09 01:16 701  
[ ]inf_A0_or_inf_A1.con.body.xml.gz2004-04-09 01:16 704  
[ ]eqgn_trans.con.xml.gz2004-04-09 01:16 706  
[ ]Leastp.ind.xml.gz2004-04-09 01:16 712  
[ ]ltM_rect.con.body.xml.gz2004-04-09 01:16 712  
[ ]A_ind.con.xml.gz2004-04-09 01:16 713  
[ ]A_rec.con.xml.gz2004-04-09 01:16 713  
[ ]A_rect.con.xml.gz2004-04-09 01:16 716  
[ ]bad_ind.con.types.xml.gz2004-04-09 01:16 716  
[ ]ltw_connected.con.types.xml.gz2004-04-09 01:16 732  
[ ]IN.ind.xml.gz2004-04-09 01:16 733  
[ ]bad_rect.con.body.xml.gz2004-04-09 01:16 733  
[ ]Mincex.con.body.xml.gz2004-04-09 01:16 734  
[ ]len.con.body.xml.gz2004-04-09 01:16 737  
[ ]little_inf_A0_or_inf_A1.con.body.xml.gz2004-04-09 01:16 744  
[ ]Mincex_rec.con.xml.gz2004-04-09 01:16 753  
[ ]eqgn.con.body.xml.gz2004-04-09 01:16 756  
[ ]wfi_slexn.con.xml.gz2004-04-09 01:16 757  
[ ]word_ind.con.types.xml.gz2004-04-09 01:16 770  
[ ]Minbad.con.body.xml.gz2004-04-09 01:16 772  
[ ]snake.con.xml.gz2004-04-09 01:16 788  
[ ]f_ind.con.types.xml.gz2004-04-09 01:16 793  
[ ]reader.con.body.xml.gz2004-04-09 01:16 795  
[ ]slexn.ind.xml.gz2004-04-09 01:16 802  
[ ]Mincex_rec.con.body.xml.gz2004-04-09 01:16 814  
[ ]eqgn_Minbadns.con.types.xml.gz2004-04-09 01:16 821  
[ ]UniMin_eqgn.con.xml.gz2004-04-09 01:16 828  
[ ]Xn.ind.xml.gz2004-04-09 01:16 829  
[ ]Leastp_rec.con.xml.gz2004-04-09 01:16 833  
[ ]Leastp_rect.con.xml.gz2004-04-09 01:16 834  
[ ]ExiMin1.con.types.xml.gz2004-04-09 01:16 836  
[ ]f_rect.con.body.xml.gz2004-04-09 01:16 837  
[ ]Leastp_ind.con.xml.gz2004-04-09 01:16 840  
[ ]Cexfx.con.types.xml.gz2004-04-09 01:16 841  
[ ]g_grows.con.types.xml.gz2004-04-09 01:16 842  
[ ]A_rect.con.body.xml.gz2004-04-09 01:16 857  
[ ]exi_cmin_S.con.xml.gz2004-04-09 01:16 863  
[ ]fx.ind.xml.gz2004-04-09 01:16 872  
[ ]UniMin1.con.types.xml.gz2004-04-09 01:16 883  
[ ]bad_thick.con.body.xml.gz2004-04-09 01:16 891  
[ ]IN_ind.con.xml.gz2004-04-09 01:16 899  
[ ]exi_cmin_exi.con.xml.gz2004-04-09 01:16 902  
[ ]A_ind.con.types.xml.gz2004-04-09 01:16 919  
[ ]Xn_elim.con.xml.gz2004-04-09 01:16 933  
[ ]slexn_ind.con.xml.gz2004-04-09 01:16 938  
[ ]slexn'_rec.con.xml.gz2004-04-09 01:16 939  
[ ]UniMin.con.body.xml.gz2004-04-09 01:16 950  
[ ]word_rect.con.body.xml.gz2004-04-09 01:16 956  
[ ]X'_elim.con.types.xml.gz2004-04-09 01:16 971  
[ ]connected.ind.xml.gz2004-04-09 01:16 1.0K 
[ ]connected_rec.con.xml.gz2004-04-09 01:16 1.0K 
[ ]connected_ind.con.xml.gz2004-04-09 01:16 1.0K 
[ ]lt_minus.con.types.xml.gz2004-04-09 01:16 1.0K 
[ ]Leastp_rect.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]ltM_connected.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]connected_rect.con.xml.gz2004-04-09 01:16 1.0K 
[ ]final.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]holf.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]Unifx.con.types.xml.gz2004-04-09 01:16 1.0K 
[ ]Mincex_intro.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]UniMin_eqgn.con.types.xml.gz2004-04-09 01:16 1.0K 
[ ]Unif.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]fx_rect.con.xml.gz2004-04-09 01:16 1.0K 
[ ]fx_ind.con.xml.gz2004-04-09 01:16 1.0K 
[ ]fx_rec.con.xml.gz2004-04-09 01:16 1.0K 
[ ]Exig.con.body.xml.gz2004-04-09 01:16 1.0K 
[ ]slexn'.con.body.xml.gz2004-04-09 01:16 1.1K 
[ ]Leastp_ind.con.types.xml.gz2004-04-09 01:16 1.1K 
[ ]Cexf.con.body.xml.gz2004-04-09 01:16 1.1K 
[ ]lt_minus.con.body.xml.gz2004-04-09 01:16 1.1K 
[ ]Xn_ind.con.xml.gz2004-04-09 01:16 1.2K 
[ ]Xn_rec.con.xml.gz2004-04-09 01:16 1.2K 
[ ]Xn_rect.con.xml.gz2004-04-09 01:16 1.2K 
[ ]connected_rect.con.body.xml.gz2004-04-09 01:16 1.2K 
[ ]fx_rect.con.body.xml.gz2004-04-09 01:16 1.2K 
[ ]Xn_decreases1.con.body.xml.gz2004-04-09 01:16 1.2K 
[ ]lt_connected.con.body.xml.gz2004-04-09 01:16 1.3K 
[ ]connected_ind.con.types.xml.gz2004-04-09 01:16 1.3K 
[ ]Xn_elim.con.body.xml.gz2004-04-09 01:16 1.4K 
[ ]slexn_slexn'.con.body.xml.gz2004-04-09 01:16 1.4K 
[ ]Xa_elim.con.body.xml.gz2004-04-09 01:16 1.4K 
[ ]fx_ind.con.types.xml.gz2004-04-09 01:16 1.4K 
[ ]g_grows_0.con.body.xml.gz2004-04-09 01:16 1.5K 
[ ]eqgn_trans.con.body.xml.gz2004-04-09 01:16 1.5K 
[ ]eqgn_f_fx.con.body.xml.gz2004-04-09 01:16 1.5K 
[ ]Xn_non_empty.con.body.xml.gz2004-04-09 01:16 1.6K 
[ ]IN_ind.con.body.xml.gz2004-04-09 01:16 1.6K 
[ ]IN_ind.con.types.xml.gz2004-04-09 01:16 1.6K 
[ ]ltw_connected.con.body.xml.gz2004-04-09 01:16 1.6K 
[ ]wfi_ltM.con.body.xml.gz2004-04-09 01:16 1.6K 
[ ]slexn_ind.con.body.xml.gz2004-04-09 01:16 1.6K 
[ ]wfi_ltl1.con.types.xml.gz2004-04-09 01:16 1.6K 
[ ]slexn_ind.con.types.xml.gz2004-04-09 01:16 1.6K 
[ ]slexn_slexn'.con.types.xml.gz2004-04-09 01:16 1.7K 
[ ]Xn_ind.con.types.xml.gz2004-04-09 01:16 1.7K 
[ ]switcher.con.body.xml.gz2004-04-09 01:16 1.7K 
[ ]Xn_decreases.con.body.xml.gz2004-04-09 01:16 1.8K 
[ ]Unig.con.body.xml.gz2004-04-09 01:16 1.8K 
[ ]wfi_ltw.con.body.xml.gz2004-04-09 01:16 1.8K 
[ ]exi_cmin_S.con.body.xml.gz2004-04-09 01:16 1.9K 
[ ]wfi_slexn.con.types.xml.gz2004-04-09 01:16 1.9K 
[ ]Xn_rect.con.body.xml.gz2004-04-09 01:16 2.0K 
[ ]ltw_rec.con.body.xml.gz2004-04-09 01:16 2.0K 
[ ]g_grows.con.body.xml.gz2004-04-09 01:16 2.0K 
[ ]X1.con.body.xml.gz2004-04-09 01:16 2.1K 
[ ]CexMin.con.body.xml.gz2004-04-09 01:16 2.4K 
[ ]exi_cmin_exi.con.body.xml.gz2004-04-09 01:16 2.7K 
[ ]eqgn_fxMin_h.con.body.xml.gz2004-04-09 01:16 2.7K 
[ ]slexn_connected.con.types.xml.gz2004-04-09 01:16 2.8K 
[ ]wfi_ltl1.con.body.xml.gz2004-04-09 01:16 2.9K 
[ ]snake.con.body.xml.gz2004-04-09 01:16 2.9K 
[ ]Exifx.con.body.xml.gz2004-04-09 01:16 3.0K 
[ ]eqgn_Minbadns.con.body.xml.gz2004-04-09 01:16 3.0K 
[ ]X'_elim.con.body.xml.gz2004-04-09 01:16 3.1K 
[ ]slexn'_rec.con.body.xml.gz2004-04-09 01:16 3.1K 
[ ]Unifx.con.body.xml.gz2004-04-09 01:16 3.4K 
[ ]UniMin1.con.body.xml.gz2004-04-09 01:16 3.5K 
[ ]Cexfx.con.body.xml.gz2004-04-09 01:16 3.7K 
[ ]UniMin_eqgn.con.body.xml.gz2004-04-09 01:16 4.8K 
[ ]slexn_connected.con.body.xml.gz2004-04-09 01:16 5.0K 
[ ]ExiMin1.con.body.xml.gz2004-04-09 01:16 5.2K 
[ ]INDEX2005-07-05 08:12 5.3K 
[ ]wfi_slexn.con.body.xml.gz2004-04-09 01:16 7.1K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80