Index of /xml/Rocq/COC/Expr

	Name	Last modified	Size	Description
	Parent Directory		-
	equiv_no_undef.con.types.xml.gz	2004-04-08 14:36	251K
	equiv_no_undef.con.body.xml.gz	2004-04-08 14:36	232K
	unique_alpha.con.types.xml.gz	2004-04-08 14:36	116K
	expr_of_term.con.types.xml.gz	2004-04-08 14:36	111K
	equiv_unique.con.types.xml.gz	2004-04-08 14:36	107K
	term_of_expr.con.body.xml.gz	2004-04-08 14:36	97K
	expr_of_term.con.body.xml.gz	2004-04-08 14:36	90K
	is_free_var.con.body.xml.gz	2004-04-08 14:36	82K
	equiv_unique.con.body.xml.gz	2004-04-08 14:36	81K
	is_free_var.con.types.xml.gz	2004-04-08 14:36	79K
	unique_alpha.con.body.xml.gz	2004-04-08 14:36	74K
	term_of_expr.con.types.xml.gz	2004-04-08 14:36	56K
	undef_vars_abs.con.types.xml.gz	2004-04-08 14:36	6.7K
	undef_vars_prod.con.types.xml.gz	2004-04-08 14:36	6.7K
	undef_vars_prod.con.body.xml.gz	2004-04-08 14:36	5.7K
	undef_vars_abs.con.body.xml.gz	2004-04-08 14:36	5.7K
	undef_vars_app.con.types.xml.gz	2004-04-08 14:36	5.5K
	alpha_ind.con.types.xml.gz	2004-04-08 14:36	5.4K
	alpha_ind.con.body.xml.gz	2004-04-08 14:36	5.0K
	undef_vars_app.con.body.xml.gz	2004-04-08 14:36	4.9K
	term_expr_equiv_ind.con.types.xml.gz	2004-04-08 14:36	4.3K
	equiv_free_db.con.types.xml.gz	2004-04-08 14:36	4.2K
	term_expr_equiv_ind.con.body.xml.gz	2004-04-08 14:36	4.0K
	equiv_free_db.con.body.xml.gz	2004-04-08 14:36	3.1K
	expr_vars_ind.con.body.xml.gz	2004-04-08 14:36	3.1K
	undef_vars_incl.con.types.xml.gz	2004-04-08 14:36	3.0K
	expr_vars_ind.con.types.xml.gz	2004-04-08 14:36	3.0K
	transl_name_ind.con.types.xml.gz	2004-04-08 14:36	2.9K
	transl_name_ind.con.body.xml.gz	2004-04-08 14:36	2.6K
	alpha_ind.con.xml.gz	2004-04-08 14:36	2.5K
	undef_vars_incl.con.body.xml.gz	2004-04-08 14:36	2.4K
	term_expr_equiv_ind.con.xml.gz	2004-04-08 14:36	2.1K
	alpha.ind.xml.gz	2004-04-08 14:36	1.9K
	expr_rect.con.body.xml.gz	2004-04-08 14:36	1.7K
	term_expr_equiv.ind.xml.gz	2004-04-08 14:36	1.6K
	expr_vars_ind.con.xml.gz	2004-04-08 14:36	1.5K
	transl_name_ind.con.xml.gz	2004-04-08 14:36	1.4K
	expr_ind.con.types.xml.gz	2004-04-08 14:36	1.4K
	expr_vars.ind.xml.gz	2004-04-08 14:36	1.4K
	transl_name.ind.xml.gz	2004-04-08 14:36	1.2K
	INDEX	2005-07-05 08:12	1.2K
	expr_ind.con.xml.gz	2004-04-08 14:36	967
	expr_rec.con.xml.gz	2004-04-08 14:36	966
	expr_rect.con.xml.gz	2004-04-08 14:36	965
	term_of_expr.con.xml.gz	2004-04-08 14:36	789
	undef_vars_prod.con.xml.gz	2004-04-08 14:36	755
	undef_vars_abs.con.xml.gz	2004-04-08 14:36	754
	undef_vars_app.con.xml.gz	2004-04-08 14:36	679
	undef_vars.con.body.xml.gz	2004-04-08 14:36	676
	expr_of_term.con.xml.gz	2004-04-08 14:36	676
	equiv_no_undef.con.xml.gz	2004-04-08 14:36	648
	undef_vars_incl.con.xml.gz	2004-04-08 14:36	588
	equiv_free_db.con.xml.gz	2004-04-08 14:36	570
	unique_alpha.con.xml.gz	2004-04-08 14:36	564
	equiv_unique.con.xml.gz	2004-04-08 14:36	554
	expr.ind.xml.gz	2004-04-08 14:36	505
	is_free_var.con.xml.gz	2004-04-08 14:36	489
	expr_ind.con.body.xml.gz	2004-04-08 14:36	405
	expr_rec.con.body.xml.gz	2004-04-08 14:36	402
	undef_vars.con.xml.gz	2004-04-08 14:36	345
	term_expr_equiv.ind.types.xml.gz	2004-04-08 14:36	207
	transl_name.ind.types.xml.gz	2004-04-08 14:36	200
	undef_vars.con.types.xml.gz	2004-04-08 14:36	199
	expr_vars.ind.types.xml.gz	2004-04-08 14:36	197
	expr_rect.con.types.xml.gz	2004-04-08 14:36	197
	expr_rec.con.types.xml.gz	2004-04-08 14:36	196
	alpha.ind.types.xml.gz	2004-04-08 14:36	189
	expr.ind.types.xml.gz	2004-04-08 14:36	187