Index of /lambdadelta/static/matita/LAMBDA-TYPES/LambdaDelta-1/ex2/props

	Name	Last modified	Size	Description
	Parent Directory		-
	ex2_arity.con.body.html	2008-06-24 16:54	51K
	ex2_arity.con.html	2008-06-24 16:53	2.8K
	ex2_nf2.con.body.html	2008-06-24 16:53	250K
	ex2_nf2.con.html	2008-06-24 16:53	2.2K