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

	Name	Last modified	Size	Description
	Parent Directory		-
	sty0_correct.con.body.html	2008-06-18 21:08	118K
	sty0_correct.con.html	2008-06-18 21:08	3.8K
	sty0_lift.con.body.html	2008-06-18 21:08	524K
	sty0_lift.con.html	2008-06-18 21:07	4.8K