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

	Name	Last modified	Size	Description
	Parent Directory		-
	aplus_ahead_simpl.con.body.html	2008-06-18 21:14	64K
	aplus_ahead_simpl.con.html	2008-06-18 21:14	4.0K
	aplus_asort_O_simpl.con.body.html	2008-06-18 21:13	69K
	aplus_asort_O_simpl.con.html	2008-06-18 21:13	4.3K
	aplus_asort_le_simpl.con.body.html	2008-06-18 21:13	131K
	aplus_asort_le_simpl.con.html	2008-06-18 21:13	4.4K
	aplus_asort_simpl.con.body.html	2008-06-18 21:13	99K
	aplus_asort_simpl.con.html	2008-06-18 21:13	4.7K
	aplus_assoc.con.body.html	2008-06-18 21:12	85K
	aplus_assoc.con.html	2008-06-18 21:12	4.0K
	aplus_asucc.con.body.html	2008-06-18 21:12	21K
	aplus_asucc.con.html	2008-06-18 21:12	3.8K
	aplus_asucc_false.con.body.html	2008-06-18 21:14	254K
	aplus_asucc_false.con.html	2008-06-18 21:14	3.4K
	aplus_inj.con.body.html	2008-06-18 21:14	144K
	aplus_inj.con.html	2008-06-18 21:14	4.0K
	aplus_reg_r.con.body.html	2008-06-18 21:12	34K
	aplus_reg_r.con.html	2008-06-18 21:12	5.7K
	aplus_sort_O_S_simpl.con.body.html	2008-06-18 21:12	31K
	aplus_sort_O_S_simpl.con.html	2008-06-18 21:12	4.9K
	aplus_sort_S_S_simpl.con.body.html	2008-06-18 21:12	27K
	aplus_sort_S_S_simpl.con.html	2008-06-18 21:12	4.6K