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

	Name	Last modified	Size	Description
	Parent Directory		-
	ahead_inj_snd.con.html	2008-06-18 21:14	3.8K
	ahead_inj_snd.con.body.html	2008-06-18 21:14	48K
	leq_refl.con.html	2008-06-18 21:14	2.2K
	leq_refl.con.body.html	2008-06-18 21:14	16K
	leq_eq.con.html	2008-06-18 21:14	3.0K
	leq_eq.con.body.html	2008-06-18 21:14	10K
	leq_sym.con.html	2008-06-18 21:15	2.8K
	leq_sym.con.body.html	2008-06-18 21:15	20K
	leq_trans.con.html	2008-06-18 21:15	3.3K
	leq_trans.con.body.html	2008-06-18 21:15	105K
	leq_ahead_false_1.con.html	2008-06-18 21:15	2.9K
	leq_ahead_false_1.con.body.html	2008-06-18 21:15	119K
	leq_ahead_false_2.con.html	2008-06-18 21:15	2.9K
	leq_ahead_false_2.con.body.html	2008-06-18 21:15	122K