Index of /xml/Sophia-Antipolis/param_pi/swaps_proofs

	Name	Last modified	Size	Description
	Parent Directory		-
	swap_par_twice.con.xml.gz	2004-04-08 10:10	507
	swap_name_twice.con.xml.gz	2004-04-08 10:10	513
	swap_env_by_addenv.con.xml.gz	2004-04-08 10:10	550
	fresh_after_swap.con.xml.gz	2004-04-08 10:10	559
	swap_on_gettype.con.xml.gz	2004-04-08 10:10	563
	fresh_after_swap_name.con.xml.gz	2004-04-08 10:10	567
	typing_after_swap.con.xml.gz	2004-04-08 10:10	568
	swap_proc_inefficient.con.xml.gz	2004-04-08 10:10	571
	swap_par_or_name.con.xml.gz	2004-04-08 10:10	573
	swap_on_addenv.con.xml.gz	2004-04-08 10:10	610
	swap_under_out.con.body.xml.gz	2004-04-08 10:10	640
	swap_is_subs_on_names.con.xml.gz	2004-04-08 10:10	647
	swap_name_inefficient.con.xml.gz	2004-04-08 10:10	652
	swap_under_subs_name.con.xml.gz	2004-04-08 10:10	653
	swap_under_subs.con.xml.gz	2004-04-08 10:10	657
	swap_under_inp.con.xml.gz	2004-04-08 10:10	664
	swap_under_out.con.xml.gz	2004-04-08 10:10	686
	INDEX	2005-07-05 08:12	1.0K
	swap_under_out.con.types.xml.gz	2004-04-08 10:10	1.1K
	swap_par_or_name.con.body.xml.gz	2004-04-08 10:10	3.7K
	swap_name_inefficient.con.body.xml.gz	2004-04-08 10:10	3.9K
	swap_env_by_addenv.con.body.xml.gz	2004-04-08 10:10	4.1K
	swap_under_inp.con.body.xml.gz	2004-04-08 10:10	4.8K
	swap_under_subs_name.con.body.xml.gz	2004-04-08 10:10	5.2K
	swap_name_inefficient.con.types.xml.gz	2004-04-08 10:10	7.7K
	swap_name_twice.con.body.xml.gz	2004-04-08 10:10	8.7K
	swap_is_subs_on_names.con.body.xml.gz	2004-04-08 10:10	8.9K
	swap_par_or_name.con.types.xml.gz	2004-04-08 10:10	9.3K
	swap_on_gettype.con.body.xml.gz	2004-04-08 10:10	9.4K
	swap_env_by_addenv.con.types.xml.gz	2004-04-08 10:10	11K
	swap_under_inp.con.types.xml.gz	2004-04-08 10:10	12K
	swap_under_subs_name.con.types.xml.gz	2004-04-08 10:10	16K
	swap_is_subs_on_names.con.types.xml.gz	2004-04-08 10:10	16K
	swap_par_twice.con.body.xml.gz	2004-04-08 10:10	18K
	fresh_after_swap_name.con.body.xml.gz	2004-04-08 10:10	18K
	swap_under_subs.con.body.xml.gz	2004-04-08 10:10	23K
	swap_name_twice.con.types.xml.gz	2004-04-08 10:10	23K
	swap_on_gettype.con.types.xml.gz	2004-04-08 10:10	24K
	fresh_after_swap_name.con.types.xml.gz	2004-04-08 10:10	35K
	swap_par_twice.con.types.xml.gz	2004-04-08 10:10	51K
	swap_on_addenv.con.body.xml.gz	2004-04-08 10:10	51K
	swap_under_subs.con.types.xml.gz	2004-04-08 10:10	58K
	typing_after_swap.con.body.xml.gz	2004-04-08 10:10	83K
	fresh_after_swap.con.body.xml.gz	2004-04-08 10:10	103K
	swap_on_addenv.con.types.xml.gz	2004-04-08 10:10	139K
	fresh_after_swap.con.types.xml.gz	2004-04-08 10:10	163K
	typing_after_swap.con.types.xml.gz	2004-04-08 10:10	192K
	swap_proc_inefficient.con.body.xml.gz	2004-04-08 10:10	226K
	swap_proc_inefficient.con.types.xml.gz	2004-04-08 10:10	372K