Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/LIMITS/PA

	Name	Last modified	Size	Description
	Parent Directory		-
	pa_def/	2005-07-05 08:14	-
	INDEX	2005-07-05 08:14	1.6K
	PA.con.xml.gz	2004-04-08 14:41	281
	PA.con.types.xml.gz	2004-04-08 14:41	206
	PA.con.body.xml.gz	2004-04-08 14:41	420
	Idr_PA.con.xml.gz	2004-04-08 14:41	422
	Idr_PA.con.types.xml.gz	2004-04-08 14:41	2.2K
	Idr_PA.con.body.xml.gz	2004-04-08 14:41	1.0K
	Idl_PA.con.xml.gz	2004-04-08 14:41	423
	Idl_PA.con.types.xml.gz	2004-04-08 14:41	1.8K
	Idl_PA.con.body.xml.gz	2004-04-08 14:41	963
	Id_PA.con.xml.gz	2004-04-08 14:41	376
	Id_PA.con.types.xml.gz	2004-04-08 14:41	211
	Id_PA.con.body.xml.gz	2004-04-08 14:41	529
	Comp_PA_congr.con.types.xml.gz	2004-04-08 14:41	9.0K
	Comp_PA.con.xml.gz	2004-04-08 14:41	572
	Comp_PA.con.types.xml.gz	2004-04-08 14:41	214
	Comp_PA.con.body.xml.gz	2004-04-08 14:41	602
	Assoc_PA.con.xml.gz	2004-04-08 14:41	415
	Assoc_PA.con.types.xml.gz	2004-04-08 14:41	10K
	Assoc_PA.con.body.xml.gz	2004-04-08 14:41	5.0K
	Comp_PA_congr.con.xml.gz	2004-04-08 14:41	433
	Comp_PA_congr.con.body.xml.gz	2004-04-08 14:41	5.7K
	Comp_PA_congl.con.xml.gz	2004-04-08 14:41	432
	Comp_PA_congl.con.types.xml.gz	2004-04-08 14:41	8.1K
	Comp_PA_congl.con.body.xml.gz	2004-04-08 14:41	3.9K
	PA_mor_setoid.con.xml.gz	2004-04-08 14:41	364
	PA_mor_setoid.con.types.xml.gz	2004-04-08 14:41	483
	PA_mor_setoid.con.body.xml.gz	2004-04-08 14:41	550
	PA_mor_rec.con.xml.gz	2004-04-08 14:41	766
	PA_mor_rec.con.types.xml.gz	2004-04-08 14:41	220
	PA_mor_rec.con.body.xml.gz	2004-04-08 14:41	517
	PA_mor_ind.con.xml.gz	2004-04-08 14:41	772
	PA_mor_ind.con.types.xml.gz	2004-04-08 14:41	1.0K
	PA_mor_ind.con.body.xml.gz	2004-04-08 14:41	517
	PA_22_ind.con.xml.gz	2004-04-08 14:41	538
	PA_22_ind.con.types.xml.gz	2004-04-08 14:41	936
	PA_22_ind.con.body.xml.gz	2004-04-08 14:41	822
	PA_22_P.con.xml.gz	2004-04-08 14:41	511
	PA_22_P.con.types.xml.gz	2004-04-08 14:41	215
	PA_22_P.con.body.xml.gz	2004-04-08 14:41	1.0K
	PA_21_rect.con.xml.gz	2004-04-08 14:41	504
	PA_21_rect.con.types.xml.gz	2004-04-08 14:41	219
	PA_21_rect.con.body.xml.gz	2004-04-08 14:41	769
	PA_21_ind.con.xml.gz	2004-04-08 14:41	506
	PA_21_ind.con.types.xml.gz	2004-04-08 14:41	901
	PA_21_ind.con.body.xml.gz	2004-04-08 14:41	781
	PA_21_T.con.xml.gz	2004-04-08 14:41	508
	PA_21_T.con.types.xml.gz	2004-04-08 14:41	215
	PA_21_T.con.body.xml.gz	2004-04-08 14:41	1.0K
	PA_21_P.con.xml.gz	2004-04-08 14:41	513
	PA_21_P.con.types.xml.gz	2004-04-08 14:41	215
	PA_21_P.con.body.xml.gz	2004-04-08 14:41	1.0K
	PA_12_ind.con.xml.gz	2004-04-08 14:41	600
	PA_12_ind.con.types.xml.gz	2004-04-08 14:41	949
	PA_12_ind.con.body.xml.gz	2004-04-08 14:41	841
	PA_12_P.con.xml.gz	2004-04-08 14:41	514
	PA_12_P.con.types.xml.gz	2004-04-08 14:41	215
	PA_12_P.con.body.xml.gz	2004-04-08 14:41	1.0K
	PA_11_ind.con.xml.gz	2004-04-08 14:41	537
	PA_11_ind.con.types.xml.gz	2004-04-08 14:41	923
	PA_11_ind.con.body.xml.gz	2004-04-08 14:41	821
	PA_11_P.con.xml.gz	2004-04-08 14:41	511
	PA_11_P.con.types.xml.gz	2004-04-08 14:41	214
	PA_11_P.con.body.xml.gz	2004-04-08 14:41	972
	Equal_PA_mor_Equiv.con.xml.gz	2004-04-08 14:41	562
	Equal_PA_mor_Equiv.con.types.xml.gz	2004-04-08 14:41	7.2K
	Equal_PA_mor_Equiv.con.body.xml.gz	2004-04-08 14:41	5.6K
	Equal_PA_mor.con.xml.gz	2004-04-08 14:41	479
	Equal_PA_mor.con.types.xml.gz	2004-04-08 14:41	223
	Equal_PA_mor.con.body.xml.gz	2004-04-08 14:41	1.0K
	Comp_PA_mor.con.xml.gz	2004-04-08 14:41	481
	Comp_PA_mor.con.types.xml.gz	2004-04-08 14:41	221
	Comp_PA_mor.con.body.xml.gz	2004-04-08 14:41	1.7K
	Comp_PA_fact4.con.xml.gz	2004-04-08 14:41	642
	Comp_PA_fact4.con.types.xml.gz	2004-04-08 14:41	771
	Comp_PA_fact4.con.body.xml.gz	2004-04-08 14:41	764
	Comp_PA_fact3.con.xml.gz	2004-04-08 14:41	624
	Comp_PA_fact3.con.types.xml.gz	2004-04-08 14:41	941
	Comp_PA_fact3.con.body.xml.gz	2004-04-08 14:41	813
	Comp_PA_fact2.con.xml.gz	2004-04-08 14:41	622
	Comp_PA_fact2.con.types.xml.gz	2004-04-08 14:41	1.6K
	Comp_PA_fact2.con.body.xml.gz	2004-04-08 14:41	1.4K
	Comp_PA_fact1.con.xml.gz	2004-04-08 14:41	619
	Comp_PA_fact1.con.types.xml.gz	2004-04-08 14:41	1.5K
	Comp_PA_fact1.con.body.xml.gz	2004-04-08 14:41	1.2K
	PA_ob_rect.con.xml.gz	2004-04-08 14:41	483
	PA_ob_rect.con.types.xml.gz	2004-04-08 14:41	219
	PA_ob_rect.con.body.xml.gz	2004-04-08 14:41	645
	PA_ob_rec.con.xml.gz	2004-04-08 14:41	486
	PA_ob_rec.con.types.xml.gz	2004-04-08 14:41	218
	PA_ob_rec.con.body.xml.gz	2004-04-08 14:41	425
	PA_ob_ind.con.xml.gz	2004-04-08 14:41	487
	PA_ob_ind.con.types.xml.gz	2004-04-08 14:41	585
	PA_ob_ind.con.body.xml.gz	2004-04-08 14:41	427
	PA_ob.ind.xml.gz	2004-04-08 14:41	335
	PA_ob.ind.types.xml.gz	2004-04-08 14:41	210
	PA_mor_rect.con.xml.gz	2004-04-08 14:41	766
	PA_mor_rect.con.types.xml.gz	2004-04-08 14:41	221
	PA_mor_rect.con.body.xml.gz	2004-04-08 14:41	1.0K
	PA_mor.ind.xml.gz	2004-04-08 14:41	545
	PA_mor.ind.types.xml.gz	2004-04-08 14:41	212