Index of /xml/Rocq/SUBST/egaliteTS

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	1.4K
	diff_app_env.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_app_env.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_app_env.con.xml.gz	2004-04-09 01:16	560
	diff_app_lambda.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_app_lambda.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_app_lambda.con.xml.gz	2004-04-09 01:16	530
	diff_comp_lift.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_comp_lift.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_comp_lift.con.xml.gz	2004-04-09 01:16	539
	diff_cons_comp.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_cons_comp.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_cons_comp.con.xml.gz	2004-04-09 01:16	566
	diff_cons_lift.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_cons_lift.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_cons_lift.con.xml.gz	2004-04-09 01:16	542
	diff_id_comp.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_id_comp.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_id_comp.con.xml.gz	2004-04-09 01:16	513
	diff_id_cons.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_id_cons.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_id_cons.con.xml.gz	2004-04-09 01:16	516
	diff_id_lift.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_id_lift.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_id_lift.con.xml.gz	2004-04-09 01:16	488
	diff_id_shift.con.body.xml.gz	2004-04-09 01:16	1.2K
	diff_id_shift.con.types.xml.gz	2004-04-09 01:16	1.3K
	diff_id_shift.con.xml.gz	2004-04-09 01:16	378
	diff_lambda_env.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_lambda_env.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_lambda_env.con.xml.gz	2004-04-09 01:16	545
	diff_shift_comp.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_shift_comp.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_shift_comp.con.xml.gz	2004-04-09 01:16	519
	diff_shift_cons.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_shift_cons.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_shift_cons.con.xml.gz	2004-04-09 01:16	522
	diff_shift_lift.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_shift_lift.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_shift_lift.con.xml.gz	2004-04-09 01:16	494
	diff_var_app.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_var_app.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_var_app.con.xml.gz	2004-04-09 01:16	542
	diff_var_env.con.body.xml.gz	2004-04-09 01:16	1.4K
	diff_var_env.con.types.xml.gz	2004-04-09 01:16	1.7K
	diff_var_env.con.xml.gz	2004-04-09 01:16	555
	diff_var_lambda.con.body.xml.gz	2004-04-09 01:16	1.3K
	diff_var_lambda.con.types.xml.gz	2004-04-09 01:16	1.6K
	diff_var_lambda.con.xml.gz	2004-04-09 01:16	527
	proj_app1.con.body.xml.gz	2004-04-09 01:16	2.5K
	proj_app1.con.types.xml.gz	2004-04-09 01:16	2.8K
	proj_app1.con.xml.gz	2004-04-09 01:16	576
	proj_app2.con.body.xml.gz	2004-04-09 01:16	2.5K
	proj_app2.con.types.xml.gz	2004-04-09 01:16	2.8K
	proj_app2.con.xml.gz	2004-04-09 01:16	576
	proj_comp1.con.body.xml.gz	2004-04-09 01:16	2.4K
	proj_comp1.con.types.xml.gz	2004-04-09 01:16	2.8K
	proj_comp1.con.xml.gz	2004-04-09 01:16	585
	proj_comp2.con.body.xml.gz	2004-04-09 01:16	2.4K
	proj_comp2.con.types.xml.gz	2004-04-09 01:16	2.9K
	proj_comp2.con.xml.gz	2004-04-09 01:16	585
	proj_cons1.con.body.xml.gz	2004-04-09 01:16	2.5K
	proj_cons1.con.types.xml.gz	2004-04-09 01:16	2.8K
	proj_cons1.con.xml.gz	2004-04-09 01:16	587
	proj_cons2.con.body.xml.gz	2004-04-09 01:16	2.5K
	proj_cons2.con.types.xml.gz	2004-04-09 01:16	2.9K
	proj_cons2.con.xml.gz	2004-04-09 01:16	586
	proj_env1.con.body.xml.gz	2004-04-09 01:16	2.5K
	proj_env1.con.types.xml.gz	2004-04-09 01:16	2.8K
	proj_env1.con.xml.gz	2004-04-09 01:16	586
	proj_env2.con.body.xml.gz	2004-04-09 01:16	2.5K
	proj_env2.con.types.xml.gz	2004-04-09 01:16	2.9K
	proj_env2.con.xml.gz	2004-04-09 01:16	587
	proj_lambda.con.body.xml.gz	2004-04-09 01:16	1.5K
	proj_lambda.con.types.xml.gz	2004-04-09 01:16	1.7K
	proj_lambda.con.xml.gz	2004-04-09 01:16	527
	proj_lift.con.body.xml.gz	2004-04-09 01:16	1.5K
	proj_lift.con.types.xml.gz	2004-04-09 01:16	1.7K
	proj_lift.con.xml.gz	2004-04-09 01:16	532
	proj_var.con.body.xml.gz	2004-04-09 01:16	1.4K
	proj_var.con.types.xml.gz	2004-04-09 01:16	1.5K
	proj_var.con.xml.gz	2004-04-09 01:16	521