Index of /xml/Muenchen/Higman/Higman

	Name	Last modified	Size	Description
	Parent Directory		-
	lemma3'.con.types.xml.gz	2004-04-08 09:06	20K
	lemma3.con.types.xml.gz	2004-04-08 09:06	17K
	lemma3'.con.body.xml.gz	2004-04-08 09:06	16K
	lemma4.con.types.xml.gz	2004-04-08 09:06	16K
	lemma3.con.body.xml.gz	2004-04-08 09:06	15K
	lemma2'.con.types.xml.gz	2004-04-08 09:06	14K
	lemma2'.con.body.xml.gz	2004-04-08 09:06	11K
	lemma4.con.body.xml.gz	2004-04-08 09:06	9.7K
	lemma2.con.types.xml.gz	2004-04-08 09:06	8.4K
	lemma2.con.body.xml.gz	2004-04-08 09:06	7.7K
	prop2.con.body.xml.gz	2004-04-08 09:06	4.9K
	prop3.con.body.xml.gz	2004-04-08 09:06	4.5K
	letter_neq.con.types.xml.gz	2004-04-08 09:06	4.3K
	letter_neq.con.body.xml.gz	2004-04-08 09:06	4.0K
	T_ind.con.types.xml.gz	2004-04-08 09:06	3.3K
	T_ind.con.body.xml.gz	2004-04-08 09:06	2.9K
	letter_eq_dec.con.body.xml.gz	2004-04-08 09:06	2.4K
	good_prefix_lemma.con.body.xml.gz	2004-04-08 09:06	2.1K
	emb_ind.con.types.xml.gz	2004-04-08 09:06	2.0K
	is_prefix_ind.con.body.xml.gz	2004-04-08 09:06	2.0K
	is_prefix_ind.con.types.xml.gz	2004-04-08 09:06	2.0K
	emb_ind.con.body.xml.gz	2004-04-08 09:06	1.9K
	higman.con.body.xml.gz	2004-04-08 09:06	1.9K
	prop3.con.types.xml.gz	2004-04-08 09:06	1.8K
	R_ind.con.types.xml.gz	2004-04-08 09:06	1.8K
	bar_rect.con.body.xml.gz	2004-04-08 09:06	1.8K
	R_ind.con.body.xml.gz	2004-04-08 09:06	1.7K
	T_ind.con.xml.gz	2004-04-08 09:06	1.6K
	L_ind.con.body.xml.gz	2004-04-08 09:06	1.6K
	L_ind.con.types.xml.gz	2004-04-08 09:06	1.5K
	good_ind.con.body.xml.gz	2004-04-08 09:06	1.5K
	T.ind.xml.gz	2004-04-08 09:06	1.4K
	good_ind.con.types.xml.gz	2004-04-08 09:06	1.4K
	higman.con.types.xml.gz	2004-04-08 09:06	1.4K
	INDEX	2005-07-05 08:11	1.4K
	prop2.con.types.xml.gz	2004-04-08 09:06	1.4K
	bar_ind.con.types.xml.gz	2004-04-08 09:06	1.4K
	lemma1.con.types.xml.gz	2004-04-08 09:06	1.3K
	lemma1.con.body.xml.gz	2004-04-08 09:06	1.2K
	is_prefix_ind.con.xml.gz	2004-04-08 09:06	1.1K
	emb_ind.con.xml.gz	2004-04-08 09:06	1.1K
	R_ind.con.xml.gz	2004-04-08 09:06	1.0K
	bar_rect.con.xml.gz	2004-04-08 09:06	1.0K
	bar_ind.con.xml.gz	2004-04-08 09:06	1.0K
	bar_rec.con.xml.gz	2004-04-08 09:06	1.0K
	is_prefix.ind.xml.gz	2004-04-08 09:06	1.0K
	letter_eq_dec.con.types.xml.gz	2004-04-08 09:06	1.0K
	emb.ind.xml.gz	2004-04-08 09:06	925
	prop1.con.body.xml.gz	2004-04-08 09:06	917
	R.ind.xml.gz	2004-04-08 09:06	914
	L_ind.con.xml.gz	2004-04-08 09:06	908
	good_ind.con.xml.gz	2004-04-08 09:06	882
	L.ind.xml.gz	2004-04-08 09:06	814
	good_prefix_lemma.con.xml.gz	2004-04-08 09:06	764
	prop1.con.types.xml.gz	2004-04-08 09:06	752
	good.ind.xml.gz	2004-04-08 09:06	745
	good_prefix_lemma.con.types.xml.gz	2004-04-08 09:06	740
	prop2.con.xml.gz	2004-04-08 09:06	729
	bar.ind.xml.gz	2004-04-08 09:06	724
	prop3.con.xml.gz	2004-04-08 09:06	673
	lemma4.con.xml.gz	2004-04-08 09:06	665
	lemma3'.con.xml.gz	2004-04-08 09:06	647
	lemma2'.con.xml.gz	2004-04-08 09:06	647
	letter_rect.con.body.xml.gz	2004-04-08 09:06	636
	good_prefix.con.xml.gz	2004-04-08 09:06	628
	letter_ind.con.types.xml.gz	2004-04-08 09:06	573
	lemma1.con.xml.gz	2004-04-08 09:06	572
	good_prefix.con.body.xml.gz	2004-04-08 09:06	561
	lemma3.con.xml.gz	2004-04-08 09:06	542
	letter_neq.con.xml.gz	2004-04-08 09:06	541
	lemma2.con.xml.gz	2004-04-08 09:06	538
	prop1.con.xml.gz	2004-04-08 09:06	527
	bar_ind.con.body.xml.gz	2004-04-08 09:06	521
	bar_rec.con.body.xml.gz	2004-04-08 09:06	518
	letter_eq_dec.con.xml.gz	2004-04-08 09:06	494
	letter_ind.con.xml.gz	2004-04-08 09:06	476
	letter_rect.con.xml.gz	2004-04-08 09:06	472
	letter_rec.con.xml.gz	2004-04-08 09:06	469
	good_prefix.con.types.xml.gz	2004-04-08 09:06	428
	letter_ind.con.body.xml.gz	2004-04-08 09:06	413
	letter_rec.con.body.xml.gz	2004-04-08 09:06	409
	higman.con.xml.gz	2004-04-08 09:06	353
	letter.ind.xml.gz	2004-04-08 09:06	313
	word.con.body.xml.gz	2004-04-08 09:06	296
	letter_rect.con.types.xml.gz	2004-04-08 09:06	204
	letter_rec.con.types.xml.gz	2004-04-08 09:06	202
	is_prefix.ind.types.xml.gz	2004-04-08 09:06	200
	bar_rect.con.types.xml.gz	2004-04-08 09:06	199
	word.con.xml.gz	2004-04-08 09:06	197
	bar_rec.con.types.xml.gz	2004-04-08 09:06	197
	letter.ind.types.xml.gz	2004-04-08 09:06	194
	word.con.types.xml.gz	2004-04-08 09:06	191
	good.ind.types.xml.gz	2004-04-08 09:06	191
	emb.ind.types.xml.gz	2004-04-08 09:06	189
	bar.ind.types.xml.gz	2004-04-08 09:06	189
	T.ind.types.xml.gz	2004-04-08 09:06	186
	R.ind.types.xml.gz	2004-04-08 09:06	186
	L.ind.types.xml.gz	2004-04-08 09:06	186