Index of /xml/Sophia-Antipolis/Huffman/Permutation

	Name	Last modified	Size	Description
	Parent Directory		-
	permutation/	2006-03-28 19:04	-
	permutation.ind.types.xml.gz	2006-03-28 19:04	211
	split_one.con.types.xml.gz	2006-03-28 19:04	214
	all_permutations.con.types.xml.gz	2006-03-28 19:04	221
	all_permutations_aux.con.types.xml.gz	2006-03-28 19:04	228
	all_permutations.con.xml.gz	2006-03-28 19:04	413
	permutation_refl.con.xml.gz	2006-03-28 19:04	448
	all_permutations_aux.con.xml.gz	2006-03-28 19:04	453
	split_one.con.xml.gz	2006-03-28 19:04	461
	permutation_sym.con.xml.gz	2006-03-28 19:04	512
	all_permutations.con.body.xml.gz	2006-03-28 19:04	513
	permutation_nil_inv.con.xml.gz	2006-03-28 19:04	576
	permutation_app_swap.con.xml.gz	2006-03-28 19:04	583
	permutation_in.con.xml.gz	2006-03-28 19:04	597
	permutation_length.con.xml.gz	2006-03-28 19:04	624
	permutation_all_permutations.con.xml.gz	2006-03-28 19:04	629
	all_permutations_permutation.con.xml.gz	2006-03-28 19:04	632
	permutation_inv.con.xml.gz	2006-03-28 19:04	647
	permutation_one_inv.con.xml.gz	2006-03-28 19:04	688
	permutation_app_comp.con.xml.gz	2006-03-28 19:04	691
	in_permutation_ex.con.xml.gz	2006-03-28 19:04	743
	permutation_refl.con.body.xml.gz	2006-03-28 19:04	757
	permutation_all_permutations.con.body.xml.gz	2006-03-28 19:04	758
	permutation_dec.con.xml.gz	2006-03-28 19:04	761
	permutation_flat_map.con.xml.gz	2006-03-28 19:04	762
	permutation_map.con.xml.gz	2006-03-28 19:04	765
	split_one_permutation.con.xml.gz	2006-03-28 19:04	793
	permutation_one_inv.con.body.xml.gz	2006-03-28 19:04	799
	all_permutations_permutation.con.body.xml.gz	2006-03-28 19:04	806
	permutation_refl.con.types.xml.gz	2006-03-28 19:04	815
	permutation_cons_ex.con.body.xml.gz	2006-03-28 19:04	838
	split_one_in_ex.con.xml.gz	2006-03-28 19:04	850
	permutation_transposition.con.xml.gz	2006-03-28 19:04	870
	permutation_dec.con.types.xml.gz	2006-03-28 19:04	905
	permutation_one_inv.con.types.xml.gz	2006-03-28 19:04	924
	permutation_all_permutations.con.types.xml.gz	2006-03-28 19:04	937
	all_permutations_permutation.con.types.xml.gz	2006-03-28 19:04	967
	permutation_map_ex.con.body.xml.gz	2006-03-28 19:04	1.0K
	fold_left_permutation.con.xml.gz	2006-03-28 19:04	1.0K
	permutation_map_ex.con.xml.gz	2006-03-28 19:04	1.0K
	permutation_cons_ex.con.xml.gz	2006-03-28 19:04	1.1K
	permutation_map_ex_aux.con.xml.gz	2008-05-03 15:58	1.1K
	permutation.ind.xml.gz	2006-03-28 19:04	1.2K
	permutation_sym.con.body.xml.gz	2006-03-28 19:04	1.3K
	permutation_ind.con.xml.gz	2006-03-28 19:04	1.4K
	permutation_map_ex.con.types.xml.gz	2006-03-28 19:04	1.5K
	permutation_sym.con.types.xml.gz	2006-03-28 19:04	1.5K
	all_permutations_aux.con.body.xml.gz	2006-03-28 19:04	1.6K
	split_one.con.body.xml.gz	2006-03-28 19:04	1.7K
	permutation_nil_inv.con.body.xml.gz	2006-03-28 19:04	1.8K
	permutation_length.con.body.xml.gz	2006-03-28 19:04	1.9K
	permutation_dec.con.body.xml.gz	2006-03-28 19:04	2.0K
	permutation_cons_ex.con.types.xml.gz	2006-03-28 19:04	2.1K
	permutation_map.con.body.xml.gz	2006-03-28 19:04	2.2K
	permutation_length.con.types.xml.gz	2006-03-28 19:04	2.5K
	permutation_nil_inv.con.types.xml.gz	2006-03-28 19:04	2.5K
	permutation_ind.con.body.xml.gz	2006-03-28 19:04	2.5K
	permutation_ind.con.types.xml.gz	2006-03-28 19:04	2.7K
	fold_left_permutation.con.body.xml.gz	2006-03-28 19:04	3.3K
	permutation_map.con.types.xml.gz	2006-03-28 19:04	3.3K
	in_permutation_ex.con.body.xml.gz	2006-03-28 19:04	3.4K
	permutation_flat_map.con.body.xml.gz	2006-03-28 19:04	3.9K
	permutation_in.con.body.xml.gz	2006-03-28 19:04	4.0K
	permutation_app_comp.con.body.xml.gz	2006-03-28 19:04	4.1K
	permutation_flat_map.con.types.xml.gz	2006-03-28 19:04	4.5K
	in_permutation_ex.con.types.xml.gz	2006-03-28 19:04	4.6K
	fold_left_permutation.con.types.xml.gz	2006-03-28 19:04	4.8K
	permutation_app_swap.con.body.xml.gz	2006-03-28 19:04	5.0K
	permutation_in.con.types.xml.gz	2006-03-28 19:04	5.1K
	permutation_transposition.con.types.xml.gz	2006-03-28 19:04	5.8K
	permutation_app_comp.con.types.xml.gz	2006-03-28 19:04	6.1K
	permutation_app_swap.con.types.xml.gz	2006-03-28 19:04	6.2K
	permutation_transposition.con.body.xml.gz	2006-03-28 19:04	6.4K
	permutation_inv.con.body.xml.gz	2006-03-28 19:04	6.5K
	split_one_in_ex.con.body.xml.gz	2006-03-28 19:04	8.2K
	permutation_inv.con.types.xml.gz	2006-03-28 19:04	8.2K
	split_one_in_ex.con.types.xml.gz	2006-03-28 19:04	14K
	split_one_permutation.con.body.xml.gz	2006-03-28 19:04	17K
	split_one_permutation.con.types.xml.gz	2006-03-28 19:04	24K
	permutation_map_ex_aux.con.body.xml.gz	2008-05-03 15:58	31K
	permutation_map_ex_aux.con.types.xml.gz	2008-05-03 15:58	46K