Index of /xml/Rocq/LAMBDA/Simulation

	Name	Last modified	Size	Description
	Parent Directory		-
	mark_subst_rec.con.types.xml.gz	2004-04-08 14:22	15K
	unmark_subst_rec.con.types.xml.gz	2004-04-08 14:22	14K
	unmark_subst_rec.con.body.xml.gz	2004-04-08 14:22	6.2K
	mark_subst_rec.con.body.xml.gz	2004-04-08 14:22	6.1K
	simulation.con.types.xml.gz	2004-04-08 14:22	6.1K
	simulation.con.body.xml.gz	2004-04-08 14:22	5.3K
	unmark_lift_rec.con.types.xml.gz	2004-04-08 14:22	4.2K
	mark_lift_rec.con.types.xml.gz	2004-04-08 14:22	4.2K
	mark_lift_rec.con.body.xml.gz	2004-04-08 14:22	3.3K
	unmark_lift_rec.con.body.xml.gz	2004-04-08 14:22	3.2K
	completeness.con.types.xml.gz	2004-04-08 14:22	2.7K
	completeness.con.body.xml.gz	2004-04-08 14:22	2.1K
	reduction_function.con.types.xml.gz	2004-04-08 14:22	1.6K
	reduction_function.con.body.xml.gz	2004-04-08 14:22	1.4K
	unmark_subst.con.types.xml.gz	2004-04-08 14:22	830
	mark_subst.con.types.xml.gz	2004-04-08 14:22	829
	unmark_lift.con.types.xml.gz	2004-04-08 14:22	806
	mark_lift.con.types.xml.gz	2004-04-08 14:22	804
	INDEX	2005-07-05 08:12	646
	simulation.con.xml.gz	2004-04-08 14:22	591
	unmark_subst_rec.con.xml.gz	2004-04-08 14:22	590
	mark_subst_rec.con.xml.gz	2004-04-08 14:22	590
	unmark_lift_rec.con.xml.gz	2004-04-08 14:22	580
	mark_lift_rec.con.xml.gz	2004-04-08 14:22	575
	reduction_function.con.xml.gz	2004-04-08 14:22	560
	unmark_lift.con.xml.gz	2004-04-08 14:22	528
	unmark_subst.con.xml.gz	2004-04-08 14:22	527
	mark_subst.con.xml.gz	2004-04-08 14:22	526
	mark_lift.con.xml.gz	2004-04-08 14:22	526
	completeness.con.xml.gz	2004-04-08 14:22	519
	reduction.con.body.xml.gz	2004-04-08 14:22	475
	unmark_subst.con.body.xml.gz	2004-04-08 14:22	451
	unmark_lift.con.body.xml.gz	2004-04-08 14:22	446
	mark_subst.con.body.xml.gz	2004-04-08 14:22	445
	mark_lift.con.body.xml.gz	2004-04-08 14:22	443
	reduction.con.xml.gz	2004-04-08 14:22	331
	reduction.con.types.xml.gz	2004-04-08 14:22	204