Index of /xml/CoRN/devel/loeb/per/csetfun

	Name	Last modified	Size	Description
	Parent Directory		-
	Inv_is_bij.con.types.xml.gz	2004-11-09 18:56	30K
	comp_as_bin_op.con.types.xml.gz	2004-11-09 18:56	22K
	Inv_is_bij.con.body.xml.gz	2004-11-09 18:56	12K
	PS_is_CGroup.con.types.xml.gz	2004-11-09 18:56	9.4K
	comp_as_bin_op.con.body.xml.gz	2004-11-09 18:56	9.4K
	Inv_as_un_op.con.types.xml.gz	2004-11-09 18:56	7.9K
	Inv_as_un_op.con.body.xml.gz	2004-11-09 18:56	6.1K
	cotrans_apfun.con.types.xml.gz	2004-11-09 18:56	5.1K
	cotrans_apfun.con.body.xml.gz	2004-11-09 18:56	4.5K
	ta_apfun.con.types.xml.gz	2004-11-09 18:56	4.1K
	assoc_comp.con.types.xml.gz	2004-11-09 18:56	3.7K
	ta_apfun.con.body.xml.gz	2004-11-09 18:56	3.4K
	PS_is_CGroup.con.body.xml.gz	2004-11-09 18:56	2.8K
	sym_apfun.con.body.xml.gz	2004-11-09 18:56	1.9K
	id_is_lft_unit.con.types.xml.gz	2004-11-09 18:56	1.7K
	id_is_rht_unit.con.types.xml.gz	2004-11-09 18:56	1.7K
	irrefl_apfun.con.types.xml.gz	2004-11-09 18:56	1.7K
	irrefl_apfun.con.body.xml.gz	2004-11-09 18:56	1.5K
	sym_apfun.con.types.xml.gz	2004-11-09 18:56	1.4K
	PS_Inv.con.body.xml.gz	2004-11-09 18:56	1.2K
	INDEX	2005-07-05 08:14	1.1K
	PS_as_CMonoid.con.types.xml.gz	2004-11-09 18:56	1.0K
	assoc_comp.con.body.xml.gz	2004-11-09 18:56	1.0K
	FS_is_CMonoid.con.types.xml.gz	2004-11-09 18:56	867
	ap_fun.con.body.xml.gz	2004-11-09 18:56	814
	FS_is_CSetoid.con.types.xml.gz	2004-11-09 18:56	793
	eq_fun.con.body.xml.gz	2004-11-09 18:56	710
	comp.con.body.xml.gz	2004-11-09 18:56	697
	FS_is_CSetoid.con.body.xml.gz	2004-11-09 18:56	660
	FS_as_CSemiGroup.con.types.xml.gz	2004-11-09 18:56	647
	id_is_rht_unit.con.body.xml.gz	2004-11-09 18:56	643
	id_is_lft_unit.con.body.xml.gz	2004-11-09 18:56	643
	assoc_comp.con.xml.gz	2004-11-09 18:56	627
	Inv_is_bij.con.xml.gz	2004-11-09 18:56	596
	FS_as_CSetoid.con.body.xml.gz	2004-11-09 18:56	581
	PS_as_CMonoid.con.body.xml.gz	2004-11-09 18:56	575
	ta_apfun.con.xml.gz	2004-11-09 18:56	564
	sym_apfun.con.xml.gz	2004-11-09 18:56	545
	cotrans_apfun.con.xml.gz	2004-11-09 18:56	545
	irrefl_apfun.con.xml.gz	2004-11-09 18:56	544
	FS_is_CSetoid.con.xml.gz	2004-11-09 18:56	529
	FS_is_CMonoid.con.body.xml.gz	2004-11-09 18:56	517
	comp.con.xml.gz	2004-11-09 18:56	509
	PS_Inv.con.xml.gz	2004-11-09 18:56	504
	FS_as_CSemiGroup.con.body.xml.gz	2004-11-09 18:56	501
	Inv_as_un_op.con.xml.gz	2004-11-09 18:56	493
	PS_as_CGroup.con.body.xml.gz	2004-11-09 18:56	486
	FS_as_CMonoid.con.body.xml.gz	2004-11-09 18:56	480
	id_is_rht_unit.con.xml.gz	2004-11-09 18:56	475
	id_is_lft_unit.con.xml.gz	2004-11-09 18:56	475
	ap_fun.con.xml.gz	2004-11-09 18:56	464
	eq_fun.con.xml.gz	2004-11-09 18:56	452
	comp_as_bin_op.con.xml.gz	2004-11-09 18:56	448
	PS_Inv.con.types.xml.gz	2004-11-09 18:56	447
	PS_is_CGroup.con.xml.gz	2004-11-09 18:56	446
	FS_is_CMonoid.con.xml.gz	2004-11-09 18:56	444
	FS_id.con.body.xml.gz	2004-11-09 18:56	406
	FS_id.con.xml.gz	2004-11-09 18:56	397
	FS_as_CMonoid.con.types.xml.gz	2004-11-09 18:56	397
	PS_as_CGroup.con.types.xml.gz	2004-11-09 18:56	380
	FS_as_CSemiGroup.con.xml.gz	2004-11-09 18:56	308
	PS_as_CMonoid.con.xml.gz	2004-11-09 18:56	302
	FS_as_CMonoid.con.xml.gz	2004-11-09 18:56	302
	PS_as_CGroup.con.xml.gz	2004-11-09 18:56	301
	FS_as_CSetoid.con.xml.gz	2004-11-09 18:56	301
	FS_as_CSetoid.con.types.xml.gz	2004-11-09 18:56	214
	eq_fun.con.types.xml.gz	2004-11-09 18:56	201
	ap_fun.con.types.xml.gz	2004-11-09 18:56	201
	FS_id.con.types.xml.gz	2004-11-09 18:56	199
	comp.con.types.xml.gz	2004-11-09 18:56	196