Index of /xml/Rocq/LAMBDA/Conversion

	Name	Last modified	Size	Description
	Parent Directory		-
	Church_Rosser.con.body.xml.gz	2004-04-08 14:23	4.9K
	Church_Rosser.con.types.xml.gz	2004-04-08 14:23	4.7K
	Church_Rosser.con.xml.gz	2004-04-08 14:23	568
	INDEX	2005-07-05 08:12	258
	conv.ind.types.xml.gz	2004-04-08 14:23	193
	conv.ind.xml.gz	2004-04-08 14:23	687
	conv1.ind.types.xml.gz	2004-04-08 14:23	195
	conv1.ind.xml.gz	2004-04-08 14:23	609
	conv1_ind.con.body.xml.gz	2004-04-08 14:23	894
	conv1_ind.con.types.xml.gz	2004-04-08 14:23	768
	conv1_ind.con.xml.gz	2004-04-08 14:23	702
	conv_ind.con.body.xml.gz	2004-04-08 14:23	1.6K
	conv_ind.con.types.xml.gz	2004-04-08 14:23	1.5K
	conv_ind.con.xml.gz	2004-04-08 14:23	843
	sym_conv.con.body.xml.gz	2004-04-08 14:23	1.3K
	sym_conv.con.types.xml.gz	2004-04-08 14:23	1.2K
	sym_conv.con.xml.gz	2004-04-08 14:23	424