Index of /xml/Rocq/LAMBDA/Confluence

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	503
	parallel_moves.con.xml.gz	2004-04-08 14:23	322
	parallel_moves.con.types.xml.gz	2004-04-08 14:23	3.8K
	parallel_moves.con.body.xml.gz	2004-04-08 14:23	4.4K
	lemma2.con.xml.gz	2004-04-08 14:23	370
	lemma2.con.types.xml.gz	2004-04-08 14:23	904
	lemma2.con.body.xml.gz	2004-04-08 14:23	628
	confluence_parallel_reduction.con.xml.gz	2004-04-08 14:23	337
	confluence_parallel_reduction.con.types.xml.gz	2004-04-08 14:23	358
	confluence_parallel_reduction.con.body.xml.gz	2004-04-08 14:23	313
	confluence_beta_reduction.con.xml.gz	2004-04-08 14:23	329
	confluence_beta_reduction.con.types.xml.gz	2004-04-08 14:23	350
	confluence_beta_reduction.con.body.xml.gz	2004-04-08 14:23	311
	strip_lemma_r.con.xml.gz	2004-04-08 14:23	374
	strip_lemma_r.con.types.xml.gz	2004-04-08 14:23	4.2K
	strip_lemma_r.con.body.xml.gz	2004-04-08 14:23	4.3K
	strip_lemma_l.con.xml.gz	2004-04-08 14:23	378
	strip_lemma_l.con.types.xml.gz	2004-04-08 14:23	4.2K
	strip_lemma_l.con.body.xml.gz	2004-04-08 14:23	4.3K
	strip.con.xml.gz	2004-04-08 14:23	200
	strip.con.types.xml.gz	2004-04-08 14:23	197
	strip.con.body.xml.gz	2004-04-08 14:23	605
	lemma1.con.xml.gz	2004-04-08 14:23	371
	lemma1.con.types.xml.gz	2004-04-08 14:23	2.3K
	lemma1.con.body.xml.gz	2004-04-08 14:23	2.1K
	confluence.con.xml.gz	2004-04-08 14:23	343
	confluence.con.types.xml.gz	2004-04-08 14:23	202
	confluence.con.body.xml.gz	2004-04-08 14:23	695