Index of /xml/CoRN/model/Zmod/Zm

	Name	Last modified	Size	Description
	Parent Directory		-
	Fp.con.body.xml.gz	2004-11-09 17:55	364
	Fp.con.types.xml.gz	2004-11-09 17:55	188
	Fp.con.xml.gz	2004-11-09 17:55	260
	Fp_inv.con.body.xml.gz	2004-11-09 17:55	754
	Fp_inv.con.types.xml.gz	2004-11-09 17:55	699
	Fp_inv.con.xml.gz	2004-11-09 17:55	780
	INDEX	2005-07-05 08:13	3.0K
	ZModap.con.body.xml.gz	2004-11-09 17:55	494
	ZModap.con.types.xml.gz	2004-11-09 17:55	194
	ZModap.con.xml.gz	2004-11-09 17:55	343
	ZModeq.con.body.xml.gz	2004-11-09 17:55	455
	ZModeq.con.types.xml.gz	2004-11-09 17:55	193
	ZModeq.con.xml.gz	2004-11-09 17:55	322
	Zm.con.body.xml.gz	2004-11-09 17:55	258
	Zm.con.types.xml.gz	2004-11-09 17:55	187
	Zm.con.xml.gz	2004-11-09 17:55	257
	Zm_cabgroup.con.body.xml.gz	2004-11-09 17:55	339
	Zm_cabgroup.con.types.xml.gz	2004-11-09 17:55	205
	Zm_cabgroup.con.xml.gz	2004-11-09 17:55	259
	Zm_cgroup.con.body.xml.gz	2004-11-09 17:55	344
	Zm_cgroup.con.types.xml.gz	2004-11-09 17:55	201
	Zm_cgroup.con.xml.gz	2004-11-09 17:55	253
	Zm_cmonoid.con.body.xml.gz	2004-11-09 17:55	366
	Zm_cmonoid.con.types.xml.gz	2004-11-09 17:55	201
	Zm_cmonoid.con.xml.gz	2004-11-09 17:55	255
	Zm_cring.con.body.xml.gz	2004-11-09 17:55	420
	Zm_cring.con.types.xml.gz	2004-11-09 17:55	200
	Zm_cring.con.xml.gz	2004-11-09 17:55	269
	Zm_csemi_grp.con.body.xml.gz	2004-11-09 17:55	358
	Zm_csemi_grp.con.types.xml.gz	2004-11-09 17:55	495
	Zm_csemi_grp.con.xml.gz	2004-11-09 17:55	262
	Zm_csetoid.con.body.xml.gz	2004-11-09 17:55	371
	Zm_csetoid.con.types.xml.gz	2004-11-09 17:55	202
	Zm_csetoid.con.xml.gz	2004-11-09 17:55	255
	Zm_is_CAbGroup.con.body.xml.gz	2004-11-09 17:55	271
	Zm_is_CAbGroup.con.types.xml.gz	2004-11-09 17:55	487
	Zm_is_CAbGroup.con.xml.gz	2004-11-09 17:55	297
	Zm_is_CGroup.con.body.xml.gz	2004-11-09 17:55	1.1K
	Zm_is_CGroup.con.types.xml.gz	2004-11-09 17:55	1.5K
	Zm_is_CGroup.con.xml.gz	2004-11-09 17:55	307
	Zm_is_CMonoid.con.body.xml.gz	2004-11-09 17:55	387
	Zm_is_CMonoid.con.types.xml.gz	2004-11-09 17:55	598
	Zm_is_CMonoid.con.xml.gz	2004-11-09 17:55	351
	Zm_is_CRing.con.body.xml.gz	2004-11-09 17:55	485
	Zm_is_CRing.con.types.xml.gz	2004-11-09 17:55	2.0K
	Zm_is_CRing.con.xml.gz	2004-11-09 17:55	414
	Zm_is_CSetoid.con.body.xml.gz	2004-11-09 17:55	429
	Zm_is_CSetoid.con.types.xml.gz	2004-11-09 17:55	207
	Zm_is_CSetoid.con.xml.gz	2004-11-09 17:55	341
	Zm_mult.con.body.xml.gz	2004-11-09 17:55	601
	Zm_mult.con.types.xml.gz	2004-11-09 17:55	198
	Zm_mult.con.xml.gz	2004-11-09 17:55	565
	Zm_mult_assoc.con.body.xml.gz	2004-11-09 17:55	1.1K
	Zm_mult_assoc.con.types.xml.gz	2004-11-09 17:55	3.0K
	Zm_mult_assoc.con.xml.gz	2004-11-09 17:55	670
	Zm_mult_commutative.con.body.xml.gz	2004-11-09 17:55	937
	Zm_mult_commutative.con.types.xml.gz	2004-11-09 17:55	1.8K
	Zm_mult_commutative.con.xml.gz	2004-11-09 17:55	1.1K
	Zm_mult_monoid.con.body.xml.gz	2004-11-09 17:55	421
	Zm_mult_monoid.con.types.xml.gz	2004-11-09 17:55	788
	Zm_mult_monoid.con.xml.gz	2004-11-09 17:55	392
	Zm_mult_one.con.body.xml.gz	2004-11-09 17:55	837
	Zm_mult_one.con.types.xml.gz	2004-11-09 17:55	1.4K
	Zm_mult_one.con.xml.gz	2004-11-09 17:55	885
	Zm_mult_one_l.con.body.xml.gz	2004-11-09 17:55	262
	Zm_mult_one_l.con.types.xml.gz	2004-11-09 17:55	1.0K
	Zm_mult_one_l.con.xml.gz	2004-11-09 17:55	484
	Zm_mult_one_r.con.body.xml.gz	2004-11-09 17:55	261
	Zm_mult_one_r.con.types.xml.gz	2004-11-09 17:55	1.0K
	Zm_mult_one_r.con.xml.gz	2004-11-09 17:55	483
	Zm_mult_onel.con.body.xml.gz	2004-11-09 17:55	1.2K
	Zm_mult_onel.con.types.xml.gz	2004-11-09 17:55	1.9K
	Zm_mult_onel.con.xml.gz	2004-11-09 17:55	897
	Zm_mult_op.con.body.xml.gz	2004-11-09 17:55	470
	Zm_mult_op.con.types.xml.gz	2004-11-09 17:55	203
	Zm_mult_op.con.xml.gz	2004-11-09 17:55	565
	Zm_mult_ord.con.body.xml.gz	2004-11-09 17:55	1.4K
	Zm_mult_ord.con.types.xml.gz	2004-11-09 17:55	204
	Zm_mult_ord.con.xml.gz	2004-11-09 17:55	523
	Zm_mult_plus_dist.con.body.xml.gz	2004-11-09 17:55	921
	Zm_mult_plus_dist.con.types.xml.gz	2004-11-09 17:55	7.3K
	Zm_mult_plus_dist.con.xml.gz	2004-11-09 17:55	428
	Zm_mult_semigroup.con.body.xml.gz	2004-11-09 17:55	364
	Zm_mult_semigroup.con.types.xml.gz	2004-11-09 17:55	724
	Zm_mult_semigroup.con.xml.gz	2004-11-09 17:55	269
	Zm_mult_strext.con.body.xml.gz	2004-11-09 17:55	2.7K
	Zm_mult_strext.con.types.xml.gz	2004-11-09 17:55	6.2K
	Zm_mult_strext.con.xml.gz	2004-11-09 17:55	585
	Zm_mult_wd.con.body.xml.gz	2004-11-09 17:55	609
	Zm_mult_wd.con.types.xml.gz	2004-11-09 17:55	571
	Zm_mult_wd.con.xml.gz	2004-11-09 17:55	574
	Zm_non_triv.con.body.xml.gz	2004-11-09 17:55	1.8K
	Zm_non_triv.con.types.xml.gz	2004-11-09 17:55	1.5K
	Zm_non_triv.con.xml.gz	2004-11-09 17:55	377
	Zm_opp.con.body.xml.gz	2004-11-09 17:55	451
	Zm_opp.con.types.xml.gz	2004-11-09 17:55	195
	Zm_opp.con.xml.gz	2004-11-09 17:55	405
	Zm_opp_op.con.body.xml.gz	2004-11-09 17:55	423
	Zm_opp_op.con.types.xml.gz	2004-11-09 17:55	564
	Zm_opp_op.con.xml.gz	2004-11-09 17:55	429
	Zm_opp_strext.con.body.xml.gz	2004-11-09 17:55	717
	Zm_opp_strext.con.types.xml.gz	2004-11-09 17:55	1.8K
	Zm_opp_strext.con.xml.gz	2004-11-09 17:55	406
	Zm_opp_well_def.con.body.xml.gz	2004-11-09 17:55	486
	Zm_opp_well_def.con.types.xml.gz	2004-11-09 17:55	712
	Zm_opp_well_def.con.xml.gz	2004-11-09 17:55	409
	Zm_plus.con.body.xml.gz	2004-11-09 17:55	437
	Zm_plus.con.types.xml.gz	2004-11-09 17:55	198
	Zm_plus.con.xml.gz	2004-11-09 17:55	359
	Zm_plus_associative.con.body.xml.gz	2004-11-09 17:55	951
	Zm_plus_associative.con.types.xml.gz	2004-11-09 17:55	1.5K
	Zm_plus_associative.con.xml.gz	2004-11-09 17:55	441
	Zm_plus_commutes.con.body.xml.gz	2004-11-09 17:55	767
	Zm_plus_commutes.con.types.xml.gz	2004-11-09 17:55	1.4K
	Zm_plus_commutes.con.xml.gz	2004-11-09 17:55	433
	Zm_plus_op.con.body.xml.gz	2004-11-09 17:55	375
	Zm_plus_op.con.types.xml.gz	2004-11-09 17:55	203
	Zm_plus_op.con.xml.gz	2004-11-09 17:55	359
	Zm_plus_strext.con.body.xml.gz	2004-11-09 17:55	2.7K
	Zm_plus_strext.con.types.xml.gz	2004-11-09 17:55	2.8K
	Zm_plus_strext.con.xml.gz	2004-11-09 17:55	371
	Zm_plus_wd.con.body.xml.gz	2004-11-09 17:55	407
	Zm_plus_wd.con.types.xml.gz	2004-11-09 17:55	377
	Zm_plus_wd.con.xml.gz	2004-11-09 17:55	361
	Zm_plus_zero_lft.con.body.xml.gz	2004-11-09 17:55	453
	Zm_plus_zero_lft.con.types.xml.gz	2004-11-09 17:55	811
	Zm_plus_zero_lft.con.xml.gz	2004-11-09 17:55	372
	Zm_plus_zero_rht.con.body.xml.gz	2004-11-09 17:55	681
	Zm_plus_zero_rht.con.types.xml.gz	2004-11-09 17:55	932
	Zm_plus_zero_rht.con.xml.gz	2004-11-09 17:55	371
	Zmodap_cotransitive.con.body.xml.gz	2004-11-09 17:55	2.4K
	Zmodap_cotransitive.con.types.xml.gz	2004-11-09 17:55	2.1K
	Zmodap_cotransitive.con.xml.gz	2004-11-09 17:55	388
	Zmodap_irreflexive.con.body.xml.gz	2004-11-09 17:55	628
	Zmodap_irreflexive.con.types.xml.gz	2004-11-09 17:55	858
	Zmodap_irreflexive.con.xml.gz	2004-11-09 17:55	388
	Zmodap_symmetric.con.body.xml.gz	2004-11-09 17:55	725
	Zmodap_symmetric.con.types.xml.gz	2004-11-09 17:55	881
	Zmodap_symmetric.con.xml.gz	2004-11-09 17:55	376
	Zmodap_tight_apart.con.body.xml.gz	2004-11-09 17:55	1.7K
	Zmodap_tight_apart.con.types.xml.gz	2004-11-09 17:55	2.0K
	Zmodap_tight_apart.con.xml.gz	2004-11-09 17:55	399
	Zmodeq_wd.con.body.xml.gz	2004-11-09 17:55	770
	Zmodeq_wd.con.types.xml.gz	2004-11-09 17:55	756
	Zmodeq_wd.con.xml.gz	2004-11-09 17:55	560
	Zp.con.body.xml.gz	2004-11-09 17:55	321
	Zp.con.types.xml.gz	2004-11-09 17:55	187
	Zp.con.xml.gz	2004-11-09 17:55	257
	Zp_inv.con.body.xml.gz	2004-11-09 17:55	739
	Zp_inv.con.types.xml.gz	2004-11-09 17:55	195
	Zp_inv.con.xml.gz	2004-11-09 17:55	701
	Zp_inv_strext.con.body.xml.gz	2004-11-09 17:55	6.6K
	Zp_inv_strext.con.types.xml.gz	2004-11-09 17:55	12K
	Zp_inv_strext.con.xml.gz	2004-11-09 17:55	1.1K
	Zp_is_CField.con.body.xml.gz	2004-11-09 17:55	8.5K
	Zp_is_CField.con.types.xml.gz	2004-11-09 17:55	11K
	Zp_is_CField.con.xml.gz	2004-11-09 17:55	320
	Zp_nonz_mod.con.body.xml.gz	2004-11-09 17:55	3.7K
	Zp_nonz_mod.con.types.xml.gz	2004-11-09 17:55	3.5K
	Zp_nonz_mod.con.xml.gz	2004-11-09 17:55	520
	Zp_nonz_relprime.con.body.xml.gz	2004-11-09 17:55	3.6K
	Zp_nonz_relprime.con.types.xml.gz	2004-11-09 17:55	3.9K
	Zp_nonz_relprime.con.xml.gz	2004-11-09 17:55	362
	m_gt_0.con.body.xml.gz	2004-11-09 17:55	342
	m_gt_0.con.types.xml.gz	2004-11-09 17:55	449
	m_gt_0.con.xml.gz	2004-11-09 17:55	347
	m_gt_1.con.body.xml.gz	2004-11-09 17:55	1.1K
	m_gt_1.con.types.xml.gz	2004-11-09 17:55	1.7K
	m_gt_1.con.xml.gz	2004-11-09 17:55	392
	p_gt_0.con.body.xml.gz	2004-11-09 17:55	343
	p_gt_0.con.types.xml.gz	2004-11-09 17:55	449
	p_gt_0.con.xml.gz	2004-11-09 17:55	347
	p_gt_1.con.body.xml.gz	2004-11-09 17:55	1.1K
	p_gt_1.con.types.xml.gz	2004-11-09 17:55	1.7K
	p_gt_1.con.xml.gz	2004-11-09 17:55	392
	p_not_1.con.body.xml.gz	2004-11-09 17:55	1.0K
	p_not_1.con.types.xml.gz	2004-11-09 17:55	1.0K
	p_not_1.con.xml.gz	2004-11-09 17:55	383
	zm/	2005-07-05 08:14	-