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

	Name	Last modified	Size	Description
	Parent Directory		-
	getl_conf_le.con.body.html	2008-06-18 20:32	22K
	getl_conf_le.con.html	2008-06-18 20:32	4.2K
	getl_trans.con.body.html	2008-06-18 20:33	40K
	getl_trans.con.html	2008-06-18 20:33	3.8K