Index of /xml/Rocq/LAMBDA/Terms

	Name	Last modified	Size	Description
	Parent Directory		-
	lambda_rect.con.body.xml.gz	2004-04-08 14:22	1.2K
	insert_Ref.con.body.xml.gz	2004-04-08 14:22	1.2K
	lambda_ind.con.types.xml.gz	2004-04-08 14:22	1.0K
	subst_rec.con.body.xml.gz	2004-04-08 14:22	930
	lift_rec.con.body.xml.gz	2004-04-08 14:22	919
	relocate.con.body.xml.gz	2004-04-08 14:22	731
	lambda_ind.con.xml.gz	2004-04-08 14:22	715
	lambda_rec.con.xml.gz	2004-04-08 14:22	711
	lambda_rect.con.xml.gz	2004-04-08 14:22	710
	INDEX	2005-07-05 08:12	447
	lambda.ind.xml.gz	2004-04-08 14:22	422
	lift.con.body.xml.gz	2004-04-08 14:22	417
	subst.con.body.xml.gz	2004-04-08 14:22	416
	lambda_ind.con.body.xml.gz	2004-04-08 14:22	410
	lambda_rec.con.body.xml.gz	2004-04-08 14:22	407
	insert_Ref.con.xml.gz	2004-04-08 14:22	329
	subst_rec.con.xml.gz	2004-04-08 14:22	326
	lift_rec.con.xml.gz	2004-04-08 14:22	325
	lift.con.xml.gz	2004-04-08 14:22	307
	relocate.con.xml.gz	2004-04-08 14:22	301
	subst.con.xml.gz	2004-04-08 14:22	291
	lambda_rect.con.types.xml.gz	2004-04-08 14:22	205
	lambda_rec.con.types.xml.gz	2004-04-08 14:22	203
	insert_Ref.con.types.xml.gz	2004-04-08 14:22	202
	subst_rec.con.types.xml.gz	2004-04-08 14:22	201
	lift_rec.con.types.xml.gz	2004-04-08 14:22	199
	relocate.con.types.xml.gz	2004-04-08 14:22	198
	lambda.ind.types.xml.gz	2004-04-08 14:22	195
	subst.con.types.xml.gz	2004-04-08 14:22	193
	lift.con.types.xml.gz	2004-04-08 14:22	191