Index of /lambdadelta/static/matita/lambda-delta/plain/Basic/lift/props

	Name	Last modified	Size	Description
	Parent Directory		-
	lift_d.con.body.html	2008-06-18 20:15	299K
	lift_d.con.html	2008-06-18 20:15	4.9K
	lift_free.con.body.html	2008-06-18 20:15	211K
	lift_free.con.html	2008-06-18 20:14	5.2K
	lift_gen_lift.con.body.html	2008-06-18 20:14	648K
	lift_gen_lift.con.html	2008-06-18 20:14	7.3K
	lift_inj.con.body.html	2008-06-18 20:14	226K
	lift_inj.con.html	2008-06-18 20:14	4.0K
	lift_lref_gt.con.body.html	2008-06-18 20:13	45K
	lift_lref_gt.con.html	2008-06-18 20:13	4.2K
	lift_r.con.body.html	2008-06-18 20:13	77K
	lift_r.con.html	2008-06-18 20:13	2.9K
	lifts_inj.con.body.html	2008-06-18 20:14	304K
	lifts_inj.con.html	2008-06-18 20:14	4.2K
	lifts_tapp.con.body.html	2008-06-18 20:14	39K
	lifts_tapp.con.html	2008-06-18 20:13	4.5K
	thead_x_lift_y_y.con.body.html	2008-06-18 20:13	321K
	thead_x_lift_y_y.con.html	2008-06-18 20:13	3.9K