Index of /lambdadelta/static/matita/lambdadelta/basic_1/wf3/getl

	Name	Last modified	Size	Description
	Parent Directory		-
	getl_wf3_trans.con.body.html	2008-06-24 17:21	197K
	getl_wf3_trans.con.html	2008-06-24 17:20	4.9K
	wf3_getl_conf.con.body.html	2008-06-24 17:20	348K
	wf3_getl_conf.con.html	2008-06-24 17:20	7.2K