Index of /lambdadelta/static/matita/lambdadelta/basic_1/iso/props

	Name	Last modified	Size	Description
	Parent Directory		-
	iso_refl.con.body.html	2008-06-18 20:05	15K
	iso_refl.con.html	2008-06-18 20:05	2.0K
	iso_trans.con.body.html	2008-06-18 20:05	59K
	iso_trans.con.html	2008-06-18 20:05	3.1K