Index of /xml/Rocq/ALGEBRA/SETOID/Setoid_prop

	Name	Last modified	Size	Description
	Parent Directory		-
	sub_setoid/	2005-07-05 08:14	-
	restricted_map/	2005-07-05 08:14	-
	SubType_rect.con.xml.gz	2004-04-08 14:39	639
	SubType_rect.con.types.xml.gz	2004-04-08 14:39	216
	SubType_rect.con.body.xml.gz	2004-04-08 14:39	772
	SubType_rec.con.xml.gz	2004-04-08 14:39	636
	SubType_rec.con.types.xml.gz	2004-04-08 14:39	214
	SubType_rec.con.body.xml.gz	2004-04-08 14:39	440
	SubType_ind.con.xml.gz	2004-04-08 14:39	639
	SubType_ind.con.types.xml.gz	2004-04-08 14:39	789
	SubType_ind.con.body.xml.gz	2004-04-08 14:39	442
	SubType.ind.xml.gz	2004-04-08 14:39	524
	SubType.ind.types.xml.gz	2004-04-08 14:39	207
	SubSetoid.con.xml.gz	2004-04-08 14:39	268
	SubSetoid.con.types.xml.gz	2004-04-08 14:39	210
	SubSetoid.con.body.xml.gz	2004-04-08 14:39	367
	Setoid_pred_rect.con.xml.gz	2004-04-08 14:39	662
	Setoid_pred_rect.con.types.xml.gz	2004-04-08 14:39	218
	Setoid_pred_rect.con.body.xml.gz	2004-04-08 14:39	795
	Setoid_pred_rec.con.xml.gz	2004-04-08 14:39	659
	Setoid_pred_rec.con.types.xml.gz	2004-04-08 14:39	217
	Setoid_pred_rec.con.body.xml.gz	2004-04-08 14:39	439
	Setoid_pred_ind.con.xml.gz	2004-04-08 14:39	661
	Setoid_pred_ind.con.types.xml.gz	2004-04-08 14:39	830
	Setoid_pred_ind.con.body.xml.gz	2004-04-08 14:39	440
	Setoid_pred.ind.xml.gz	2004-04-08 14:39	548
	Setoid_pred.ind.types.xml.gz	2004-04-08 14:39	209
	Restricted_map_law.con.xml.gz	2004-04-08 14:39	447
	Restricted_map_law.con.types.xml.gz	2004-04-08 14:39	1.5K
	Restricted_map_law.con.body.xml.gz	2004-04-08 14:39	801
	Restricted_fun.con.xml.gz	2004-04-08 14:39	455
	Restricted_fun.con.types.xml.gz	2004-04-08 14:39	220
	Restricted_fun.con.body.xml.gz	2004-04-08 14:39	588
	RestrictedMap.con.xml.gz	2004-04-08 14:39	420
	RestrictedMap.con.types.xml.gz	2004-04-08 14:39	218
	RestrictedMap.con.body.xml.gz	2004-04-08 14:39	490
	Reg_law.con.xml.gz	2004-04-08 14:39	376
	Reg_law.con.types.xml.gz	2004-04-08 14:39	209
	Reg_law.con.body.xml.gz	2004-04-08 14:39	569
	Prf_reg.con.xml.gz	2004-04-08 14:39	407
	Prf_reg.con.types.xml.gz	2004-04-08 14:39	785
	Prf_reg.con.body.xml.gz	2004-04-08 14:39	694
	Prf_constr.con.xml.gz	2004-04-08 14:39	428
	Prf_constr.con.types.xml.gz	2004-04-08 14:39	784
	Prf_constr.con.body.xml.gz	2004-04-08 14:39	667
	Pred.con.xml.gz	2004-04-08 14:39	378
	Pred.con.types.xml.gz	2004-04-08 14:39	203
	Pred.con.body.xml.gz	2004-04-08 14:39	656
	INDEX	2005-07-05 08:13	1.0K
	Equal_SubType_equiv.con.xml.gz	2004-04-08 14:39	391
	Equal_SubType_equiv.con.types.xml.gz	2004-04-08 14:39	1.4K
	Equal_SubType_equiv.con.body.xml.gz	2004-04-08 14:39	1.0K
	Equal_SubType.con.xml.gz	2004-04-08 14:39	345
	Equal_SubType.con.types.xml.gz	2004-04-08 14:39	218
	Equal_SubType.con.body.xml.gz	2004-04-08 14:39	474
	Elt_sub.con.xml.gz	2004-04-08 14:39	370
	Elt_sub.con.types.xml.gz	2004-04-08 14:39	209
	Elt_sub.con.body.xml.gz	2004-04-08 14:39	611