Index of /xml/Rocq/LAMBDA/Substitution

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	1.7K
	insert_Var.con.body.xml.gz	2004-04-08 14:22	1.2K
	insert_Var.con.types.xml.gz	2004-04-08 14:22	210
	insert_Var.con.xml.gz	2004-04-08 14:22	328
	lift1.con.body.xml.gz	2004-04-08 14:22	10K
	lift1.con.types.xml.gz	2004-04-08 14:22	21K
	lift1.con.xml.gz	2004-04-08 14:22	609
	liftO.con.body.xml.gz	2004-04-08 14:22	405
	liftO.con.types.xml.gz	2004-04-08 14:22	599
	liftO.con.xml.gz	2004-04-08 14:22	446
	lift_gt.con.body.xml.gz	2004-04-08 14:22	1.7K
	lift_gt.con.types.xml.gz	2004-04-08 14:22	2.9K
	lift_gt.con.xml.gz	2004-04-08 14:22	582
	lift_le.con.body.xml.gz	2004-04-08 14:22	1.7K
	lift_le.con.types.xml.gz	2004-04-08 14:22	3.1K
	lift_le.con.xml.gz	2004-04-08 14:22	602
	lift_lift.con.body.xml.gz	2004-04-08 14:22	535
	lift_lift.con.types.xml.gz	2004-04-08 14:22	1.0K
	lift_lift.con.xml.gz	2004-04-08 14:22	601
	lift_lift_rec.con.body.xml.gz	2004-04-08 14:22	25K
	lift_lift_rec.con.types.xml.gz	2004-04-08 14:22	61K
	lift_lift_rec.con.xml.gz	2004-04-08 14:22	669
	lift_r.con.body.xml.gz	2004-04-08 14:22	427
	lift_r.con.types.xml.gz	2004-04-08 14:22	202
	lift_r.con.xml.gz	2004-04-08 14:22	310
	lift_rec_lift.con.body.xml.gz	2004-04-08 14:22	1.0K
	lift_rec_lift.con.types.xml.gz	2004-04-08 14:22	1.2K
	lift_rec_lift.con.xml.gz	2004-04-08 14:22	633
	lift_rec_lift_rec.con.body.xml.gz	2004-04-08 14:22	10K
	lift_rec_lift_rec.con.types.xml.gz	2004-04-08 14:22	25K
	lift_rec_lift_rec.con.xml.gz	2004-04-08 14:22	707
	lift_rec_preserve_comp.con.body.xml.gz	2004-04-08 14:22	1.9K
	lift_rec_preserve_comp.con.types.xml.gz	2004-04-08 14:22	2.7K
	lift_rec_preserve_comp.con.xml.gz	2004-04-08 14:22	568
	lift_rec_preserve_regular.con.body.xml.gz	2004-04-08 14:22	12K
	lift_rec_preserve_regular.con.types.xml.gz	2004-04-08 14:22	24K
	lift_rec_preserve_regular.con.xml.gz	2004-04-08 14:22	524
	lift_rec_r.con.body.xml.gz	2004-04-08 14:22	971
	lift_rec_r.con.types.xml.gz	2004-04-08 14:22	209
	lift_rec_r.con.xml.gz	2004-04-08 14:22	330
	lift_rec_subst_rec.con.body.xml.gz	2004-04-08 14:22	68K
	lift_rec_subst_rec.con.types.xml.gz	2004-04-08 14:22	249K
	lift_rec_subst_rec.con.xml.gz	2004-04-08 14:22	731
	lift_subst.con.body.xml.gz	2004-04-08 14:22	1.4K
	lift_subst.con.types.xml.gz	2004-04-08 14:22	1.8K
	lift_subst.con.xml.gz	2004-04-08 14:22	638
	liftrecO.con.body.xml.gz	2004-04-08 14:22	2.5K
	liftrecO.con.types.xml.gz	2004-04-08 14:22	4.1K
	liftrecO.con.xml.gz	2004-04-08 14:22	484
	subst_eq.con.body.xml.gz	2004-04-08 14:22	3.1K
	subst_eq.con.types.xml.gz	2004-04-08 14:22	6.7K
	subst_eq.con.xml.gz	2004-04-08 14:22	525
	subst_gt.con.body.xml.gz	2004-04-08 14:22	3.4K
	subst_gt.con.types.xml.gz	2004-04-08 14:22	7.3K
	subst_gt.con.xml.gz	2004-04-08 14:22	597
	subst_lt.con.body.xml.gz	2004-04-08 14:22	3.0K
	subst_lt.con.types.xml.gz	2004-04-08 14:22	5.5K
	subst_lt.con.xml.gz	2004-04-08 14:22	585
	subst_preserve_comp.con.body.xml.gz	2004-04-08 14:22	624
	subst_preserve_comp.con.types.xml.gz	2004-04-08 14:22	793
	subst_preserve_comp.con.xml.gz	2004-04-08 14:22	572
	subst_preserve_regular.con.body.xml.gz	2004-04-08 14:22	565
	subst_preserve_regular.con.types.xml.gz	2004-04-08 14:22	665
	subst_preserve_regular.con.xml.gz	2004-04-08 14:22	490
	subst_r.con.body.xml.gz	2004-04-08 14:22	426
	subst_r.con.types.xml.gz	2004-04-08 14:22	202
	subst_r.con.xml.gz	2004-04-08 14:22	297
	subst_rec_lift.con.body.xml.gz	2004-04-08 14:22	1.1K
	subst_rec_lift.con.types.xml.gz	2004-04-08 14:22	1.2K
	subst_rec_lift.con.xml.gz	2004-04-08 14:22	631
	subst_rec_lift1.con.body.xml.gz	2004-04-08 14:22	1.0K
	subst_rec_lift1.con.types.xml.gz	2004-04-08 14:22	1.2K
	subst_rec_lift1.con.xml.gz	2004-04-08 14:22	614
	subst_rec_lift_rec.con.body.xml.gz	2004-04-08 14:22	16K
	subst_rec_lift_rec.con.types.xml.gz	2004-04-08 14:22	47K
	subst_rec_lift_rec.con.xml.gz	2004-04-08 14:22	735
	subst_rec_lift_rec1.con.body.xml.gz	2004-04-08 14:22	36K
	subst_rec_lift_rec1.con.types.xml.gz	2004-04-08 14:22	87K
	subst_rec_lift_rec1.con.xml.gz	2004-04-08 14:22	688
	subst_rec_preserve_comp.con.body.xml.gz	2004-04-08 14:22	5.0K
	subst_rec_preserve_comp.con.types.xml.gz	2004-04-08 14:22	13K
	subst_rec_preserve_comp.con.xml.gz	2004-04-08 14:22	624
	subst_rec_preserve_regular.con.body.xml.gz	2004-04-08 14:22	15K
	subst_rec_preserve_regular.con.types.xml.gz	2004-04-08 14:22	31K
	subst_rec_preserve_regular.con.xml.gz	2004-04-08 14:22	554
	subst_rec_r.con.body.xml.gz	2004-04-08 14:22	1.0K
	subst_rec_r.con.types.xml.gz	2004-04-08 14:22	209
	subst_rec_r.con.xml.gz	2004-04-08 14:22	330
	subst_rec_subst_0.con.body.xml.gz	2004-04-08 14:22	1.5K
	subst_rec_subst_0.con.types.xml.gz	2004-04-08 14:22	1.9K
	subst_rec_subst_0.con.xml.gz	2004-04-08 14:22	655
	subst_rec_subst_rec.con.body.xml.gz	2004-04-08 14:22	27K
	subst_rec_subst_rec.con.types.xml.gz	2004-04-08 14:22	54K
	subst_rec_subst_rec.con.xml.gz	2004-04-08 14:22	727
	substitution.con.body.xml.gz	2004-04-08 14:22	477
	substitution.con.types.xml.gz	2004-04-08 14:22	1.0K
	substitution.con.xml.gz	2004-04-08 14:22	641