Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/CATEGORY/CONSTRUCTIONS/Exponents

	Name	Last modified	Size	Description
	Parent Directory		-
	Exponent_ind.con.types.xml.gz	2004-04-08 14:40	1.7K
	Prf_eta_rule.con.types.xml.gz	2004-04-08 14:40	1.7K
	Prf_beta_rule.con.types.xml.gz	2004-04-08 14:40	1.7K
	Op_lambda.con.body.xml.gz	2004-04-08 14:40	1.4K
	Exponent_rect.con.body.xml.gz	2004-04-08 14:40	1.4K
	Prf_eta_rule.con.body.xml.gz	2004-04-08 14:40	1.3K
	Prf_beta_rule.con.body.xml.gz	2004-04-08 14:40	1.3K
	Eval.con.body.xml.gz	2004-04-08 14:40	1.3K
	Exponent_rect.con.xml.gz	2004-04-08 14:40	1.2K
	Exponent_ind.con.xml.gz	2004-04-08 14:40	1.2K
	Exponent_rec.con.xml.gz	2004-04-08 14:40	1.2K
	Expo.con.body.xml.gz	2004-04-08 14:40	1.2K
	Beta_rule_law.con.body.xml.gz	2004-04-08 14:40	1.1K
	Exponent.ind.xml.gz	2004-04-08 14:40	1.1K
	Eta_rule_law.con.body.xml.gz	2004-04-08 14:40	1.0K
	Lambda.con.body.xml.gz	2004-04-08 14:40	862
	Lambda_expo.con.body.xml.gz	2004-04-08 14:40	853
	INDEX	2005-07-05 08:14	836
	H_lambda.con.xml.gz	2004-04-08 14:40	756
	H_lambda.con.body.xml.gz	2004-04-08 14:40	748
	Op_lambda.con.xml.gz	2004-04-08 14:40	702
	Lambda.con.xml.gz	2004-04-08 14:40	659
	Lambda_expo.con.xml.gz	2004-04-08 14:40	657
	HasExponent.con.body.xml.gz	2004-04-08 14:40	622
	H_eval.con.xml.gz	2004-04-08 14:40	606
	Eval.con.xml.gz	2004-04-08 14:40	602
	Prf_beta_rule.con.xml.gz	2004-04-08 14:40	537
	Prf_eta_rule.con.xml.gz	2004-04-08 14:40	534
	Exponent_ind.con.body.xml.gz	2004-04-08 14:40	465
	Exponent_rec.con.body.xml.gz	2004-04-08 14:40	464
	H_eval.con.body.xml.gz	2004-04-08 14:40	441
	H_expo.con.body.xml.gz	2004-04-08 14:40	438
	HasExponent.con.xml.gz	2004-04-08 14:40	417
	Expo.con.xml.gz	2004-04-08 14:40	387
	H_expo.con.xml.gz	2004-04-08 14:40	332
	Beta_rule_law.con.xml.gz	2004-04-08 14:40	308
	Eta_rule_law.con.xml.gz	2004-04-08 14:40	306
	Beta_rule_law.con.types.xml.gz	2004-04-08 14:40	237
	Eta_rule_law.con.types.xml.gz	2004-04-08 14:40	235
	Op_lambda.con.types.xml.gz	2004-04-08 14:40	232
	Exponent_rect.con.types.xml.gz	2004-04-08 14:40	231
	Lambda_expo.con.types.xml.gz	2004-04-08 14:40	230
	Exponent_rec.con.types.xml.gz	2004-04-08 14:40	230
	HasExponent.con.types.xml.gz	2004-04-08 14:40	229
	H_lambda.con.types.xml.gz	2004-04-08 14:40	229
	Lambda.con.types.xml.gz	2004-04-08 14:40	225
	H_eval.con.types.xml.gz	2004-04-08 14:40	225
	H_expo.con.types.xml.gz	2004-04-08 14:40	223
	Exponent.ind.types.xml.gz	2004-04-08 14:40	222
	Eval.con.types.xml.gz	2004-04-08 14:40	220
	Expo.con.types.xml.gz	2004-04-08 14:40	219
	hasexponent_proj/	2005-07-05 08:14	-
	expo_def/	2005-07-05 08:14	-