Index of /code/upgrades/foo2/doc/efun/mappings

	Name	Last modified	Size	Description
	Parent Directory		-
	allocate_mapping	2006-11-27 19:14	798
	filter_mapping	2006-11-27 19:14	341
	index	2006-11-27 19:14	245
	keys	2006-11-27 19:14	554
	m_delete	2006-11-27 19:14	646
	m_indices	2006-11-27 19:14	249
	m_values	2006-11-27 19:14	253
	map_delete	2006-11-27 19:14	760
	map_mapping	2006-11-27 19:14	671
	match_path	2006-11-27 19:14	475
	unique_mapping	2006-11-27 19:14	463
	values	2006-11-27 19:14	466