Index of /xml/Rocq/LAMBDA/Redexes

	Name	Last modified	Size	Description
	Parent Directory		-
	sub.ind.types.xml.gz	2004-04-08 14:22	190
	comp.ind.types.xml.gz	2004-04-08 14:22	192
	union.ind.types.xml.gz	2004-04-08 14:22	193
	redexes.ind.types.xml.gz	2004-04-08 14:22	196
	regular.con.types.xml.gz	2004-04-08 14:22	198
	bool_max.con.types.xml.gz	2004-04-08 14:22	201
	redexes_rec.con.types.xml.gz	2004-04-08 14:22	205
	redexes_rect.con.types.xml.gz	2004-04-08 14:22	206
	bool_max.con.xml.gz	2004-04-08 14:22	293
	regular.con.xml.gz	2004-04-08 14:22	299
	comp_refl.con.xml.gz	2004-04-08 14:22	365
	redexes_rec.con.body.xml.gz	2004-04-08 14:22	407
	redexes_ind.con.body.xml.gz	2004-04-08 14:22	411
	comp_sym.con.xml.gz	2004-04-08 14:22	416
	max_false.con.xml.gz	2004-04-08 14:22	440
	union_l.con.xml.gz	2004-04-08 14:22	440
	union_r.con.xml.gz	2004-04-08 14:22	440
	redexes.ind.xml.gz	2004-04-08 14:22	442
	union_sym.con.xml.gz	2004-04-08 14:22	447
	comp_trans.con.xml.gz	2004-04-08 14:22	465
	bool_max_Sym.con.xml.gz	2004-04-08 14:22	467
	bool_max.con.body.xml.gz	2004-04-08 14:22	486
	union_preserve_regular.con.xml.gz	2004-04-08 14:22	512
	union_defined.con.xml.gz	2004-04-08 14:22	517
	max_false.con.body.xml.gz	2004-04-08 14:22	584
	max_false.con.types.xml.gz	2004-04-08 14:22	696
	redexes_rect.con.xml.gz	2004-04-08 14:22	742
	redexes_rec.con.xml.gz	2004-04-08 14:22	746
	redexes_ind.con.xml.gz	2004-04-08 14:22	751
	comp_refl.con.body.xml.gz	2004-04-08 14:22	822
	comp.ind.xml.gz	2004-04-08 14:22	907
	bool_max_Sym.con.body.xml.gz	2004-04-08 14:22	1.0K
	INDEX	2005-07-05 08:12	1.0K
	comp_refl.con.types.xml.gz	2004-04-08 14:22	1.0K
	redexes_ind.con.types.xml.gz	2004-04-08 14:22	1.0K
	union.ind.xml.gz	2004-04-08 14:22	1.0K
	comp_ind.con.xml.gz	2004-04-08 14:22	1.1K
	comp_sym.con.body.xml.gz	2004-04-08 14:22	1.1K
	sub.ind.xml.gz	2004-04-08 14:22	1.1K
	regular.con.body.xml.gz	2004-04-08 14:22	1.1K
	bool_max_Sym.con.types.xml.gz	2004-04-08 14:22	1.2K
	redexes_rect.con.body.xml.gz	2004-04-08 14:22	1.2K
	comp_sym.con.types.xml.gz	2004-04-08 14:22	1.3K
	union_ind.con.xml.gz	2004-04-08 14:22	1.3K
	sub_ind.con.xml.gz	2004-04-08 14:22	1.3K
	union_sym.con.body.xml.gz	2004-04-08 14:22	1.6K
	union_sym.con.types.xml.gz	2004-04-08 14:22	1.8K
	union_l.con.body.xml.gz	2004-04-08 14:22	1.9K
	union_r.con.body.xml.gz	2004-04-08 14:22	1.9K
	comp_ind.con.body.xml.gz	2004-04-08 14:22	2.0K
	comp_ind.con.types.xml.gz	2004-04-08 14:22	2.1K
	union_l.con.types.xml.gz	2004-04-08 14:22	2.2K
	union_r.con.types.xml.gz	2004-04-08 14:22	2.2K
	union_ind.con.body.xml.gz	2004-04-08 14:22	2.3K
	sub_ind.con.body.xml.gz	2004-04-08 14:22	2.4K
	union_ind.con.types.xml.gz	2004-04-08 14:22	2.6K
	sub_ind.con.types.xml.gz	2004-04-08 14:22	2.6K
	union_defined.con.body.xml.gz	2004-04-08 14:22	3.0K
	union_defined.con.types.xml.gz	2004-04-08 14:22	3.0K
	comp_trans.con.body.xml.gz	2004-04-08 14:22	17K
	union_preserve_regular.con.body.xml.gz	2004-04-08 14:22	19K
	comp_trans.con.types.xml.gz	2004-04-08 14:22	22K
	union_preserve_regular.con.types.xml.gz	2004-04-08 14:22	43K