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

	Name	Last modified	Size	Description
	Parent Directory		-
	tlt_head_dx.con.body.html	2008-06-18 20:04	266K
	tlt_head_dx.con.html	2008-06-18 20:03	2.7K
	tlt_head_sx.con.body.html	2008-06-18 20:03	202K
	tlt_head_sx.con.html	2008-06-18 20:03	2.7K
	tlt_trans.con.body.html	2008-06-18 20:03	18K
	tlt_trans.con.html	2008-06-18 20:03	3.0K
	tlt_wf__q_ind.con.body.html	2008-06-18 20:04	18K
	tlt_wf__q_ind.con.html	2008-06-18 20:04	4.0K
	tlt_wf_ind.con.body.html	2008-06-18 20:04	42K
	tlt_wf_ind.con.html	2008-06-18 20:04	2.9K
	wadd_O.con.body.html	2008-06-18 20:02	24K
	wadd_O.con.html	2008-06-18 20:02	3.4K
	wadd_le.con.body.html	2008-06-18 20:02	24K
	wadd_le.con.html	2008-06-18 20:02	4.9K
	wadd_lt.con.body.html	2008-06-18 20:02	26K
	wadd_lt.con.html	2008-06-18 20:02	4.9K
	weight_add_O.con.body.html	2008-06-18 20:03	15K
	weight_add_O.con.html	2008-06-18 20:03	4.2K
	weight_add_S.con.body.html	2008-06-18 20:03	26K
	weight_add_S.con.html	2008-06-18 20:03	4.8K
	weight_eq.con.body.html	2008-06-18 20:03	29K
	weight_eq.con.html	2008-06-18 20:03	4.6K
	weight_le.con.body.html	2008-06-18 20:03	458K
	weight_le.con.html	2008-06-18 20:02	4.2K