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

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