Index of /xml/CoRN/model/setoids/Zsetoid

	Name	Last modified	Size	Description
	Parent Directory		-
	Zmult_wd.con.types.xml.gz	2004-11-09 17:50	2.3K
	Zopp_strext.con.types.xml.gz	2004-11-09 17:50	1.4K
	Zplus_is_commut.con.types.xml.gz	2004-11-09 17:50	1.3K
	Zmult_is_commut.con.types.xml.gz	2004-11-09 17:50	1.3K
	Zplus_is_assoc.con.types.xml.gz	2004-11-09 17:50	1.3K
	Zmult_is_assoc.con.types.xml.gz	2004-11-09 17:50	1.3K
	Zopp_wd.con.types.xml.gz	2004-11-09 17:50	1.1K
	INDEX	2005-07-05 08:13	1.1K
	Zplus_strext.con.types.xml.gz	2004-11-09 17:50	749
	Zmult_strext.con.types.xml.gz	2004-11-09 17:50	749
	Zplus_wd.con.types.xml.gz	2004-11-09 17:50	730
	Zopp_strext.con.body.xml.gz	2004-11-09 17:50	714
	ap_Z_cotransitive.con.types.xml.gz	2004-11-09 17:50	667
	ap_Z_tight.con.types.xml.gz	2004-11-09 17:50	659
	Zmult_wd.con.body.xml.gz	2004-11-09 17:50	628
	Zopp_wd.con.body.xml.gz	2004-11-09 17:50	585
	ap_Z_symmetric.con.types.xml.gz	2004-11-09 17:50	581
	ap_Z_irreflexive.con.types.xml.gz	2004-11-09 17:50	560
	Zmult_is_assoc.con.body.xml.gz	2004-11-09 17:50	490
	Zplus_is_assoc.con.body.xml.gz	2004-11-09 17:50	489
	ap_Z_is_apartness.con.body.xml.gz	2004-11-09 17:50	458
	Zplus_is_bin_fun.con.body.xml.gz	2004-11-09 17:50	437
	Zmult_is_bin_fun.con.body.xml.gz	2004-11-09 17:50	436
	Zplus_is_assoc.con.xml.gz	2004-11-09 17:50	433
	Zmult_is_assoc.con.xml.gz	2004-11-09 17:50	433
	Zplus_is_commut.con.xml.gz	2004-11-09 17:50	429
	Zmult_is_commut.con.xml.gz	2004-11-09 17:50	429
	Zplus_is_commut.con.body.xml.gz	2004-11-09 17:50	427
	Zmult_is_commut.con.body.xml.gz	2004-11-09 17:50	427
	is_nullary_operation_Z_0.con.types.xml.gz	2004-11-09 17:50	426
	Zopp_is_fun.con.body.xml.gz	2004-11-09 17:50	419
	ap_Z_tight.con.xml.gz	2004-11-09 17:50	414
	Z_as_CSetoid.con.body.xml.gz	2004-11-09 17:50	405
	ap_Z_cotransitive.con.xml.gz	2004-11-09 17:50	380
	ap_Z_irreflexive.con.xml.gz	2004-11-09 17:50	379
	Zplus_strext.con.xml.gz	2004-11-09 17:50	373
	Zmult_strext.con.xml.gz	2004-11-09 17:50	373
	ap_Z_symmetric.con.xml.gz	2004-11-09 17:50	370
	ap_Z_is_apartness.con.xml.gz	2004-11-09 17:50	369
	Zplus_wd.con.xml.gz	2004-11-09 17:50	367
	Zmult_wd.con.xml.gz	2004-11-09 17:50	367
	Zopp_strext.con.xml.gz	2004-11-09 17:50	361
	Zplus_is_bin_fun.con.xml.gz	2004-11-09 17:50	358
	Zmult_is_bin_fun.con.xml.gz	2004-11-09 17:50	358
	Zopp_wd.con.xml.gz	2004-11-09 17:50	357
	is_nullary_operation_Z_0.con.xml.gz	2004-11-09 17:50	356
	Zopp_is_fun.con.xml.gz	2004-11-09 17:50	339
	is_nullary_operation_Z_0.con.body.xml.gz	2004-11-09 17:50	306
	ap_Z_cotransitive.con.body.xml.gz	2004-11-09 17:50	273
	ap_Z_irreflexive.con.body.xml.gz	2004-11-09 17:50	271
	ap_Z_symmetric.con.body.xml.gz	2004-11-09 17:50	267
	Zplus_strext.con.body.xml.gz	2004-11-09 17:50	264
	Zmult_strext.con.body.xml.gz	2004-11-09 17:50	264
	ap_Z_tight.con.body.xml.gz	2004-11-09 17:50	260
	Zplus_wd.con.body.xml.gz	2004-11-09 17:50	257
	Z_as_CSetoid.con.xml.gz	2004-11-09 17:50	242
	ap_Z_is_apartness.con.types.xml.gz	2004-11-09 17:50	218
	Zmult_is_bin_fun.con.types.xml.gz	2004-11-09 17:50	217
	Zplus_is_bin_fun.con.types.xml.gz	2004-11-09 17:50	216
	Zopp_is_fun.con.types.xml.gz	2004-11-09 17:50	208
	Z_as_CSetoid.con.types.xml.gz	2004-11-09 17:50	208