Index of /xml/Rocq/LAMBDA/Terms

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