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

	Name	Last modified	Size	Description
	Parent Directory		-
	clear_pc3_trans.con.body.html	2008-06-24 17:04	20K
	clear_pc3_trans.con.html	2008-06-24 17:04	3.4K
	pc3_eta.con.body.html	2008-06-24 17:05	68K
	pc3_eta.con.html	2008-06-24 17:05	7.7K
	pc3_head_1.con.body.html	2008-06-24 17:04	26K
	pc3_head_1.con.html	2008-06-24 17:04	3.8K
	pc3_head_2.con.body.html	2008-06-24 17:04	28K
	pc3_head_2.con.html	2008-06-24 17:04	4.0K
	pc3_head_12.con.body.html	2008-06-24 17:04	18K
	pc3_head_12.con.html	2008-06-24 17:04	4.6K
	pc3_head_21.con.body.html	2008-06-24 17:04	18K
	pc3_head_21.con.html	2008-06-24 17:04	4.6K
	pc3_lift.con.body.html	2008-06-24 17:05	24K
	pc3_lift.con.html	2008-06-24 17:05	4.4K
	pc3_pr0_pr2_t.con.body.html	2008-06-24 17:04	227K
	pc3_pr0_pr2_t.con.html	2008-06-24 17:04	4.4K
	pc3_pr2_pr2_t.con.body.html	2008-06-24 17:05	266K
	pc3_pr2_pr2_t.con.html	2008-06-24 17:04	4.4K
	pc3_pr2_pr3_t.con.body.html	2008-06-24 17:05	32K
	pc3_pr2_pr3_t.con.html	2008-06-24 17:05	4.4K
	pc3_pr2_r.con.body.html	2008-06-24 17:04	10K
	pc3_pr2_r.con.html	2008-06-24 17:04	2.8K
	pc3_pr2_u.con.body.html	2008-06-24 17:04	16K
	pc3_pr2_u.con.html	2008-06-24 17:04	3.3K
	pc3_pr2_u2.con.body.html	2008-06-24 17:04	9.5K
	pc3_pr2_u2.con.html	2008-06-24 17:04	3.3K
	pc3_pr2_x.con.body.html	2008-06-24 17:04	10K
	pc3_pr2_x.con.html	2008-06-24 17:04	2.8K
	pc3_pr3_conf.con.body.html	2008-06-24 17:04	9.5K
	pc3_pr3_conf.con.html	2008-06-24 17:04	3.3K
	pc3_pr3_pc3_t.con.body.html	2008-06-24 17:05	43K
	pc3_pr3_pc3_t.con.html	2008-06-24 17:05	4.4K
	pc3_pr3_r.con.body.html	2008-06-24 17:04	9.4K
	pc3_pr3_r.con.html	2008-06-24 17:04	2.8K
	pc3_pr3_t.con.body.html	2008-06-24 17:04	10K
	pc3_pr3_t.con.html	2008-06-24 17:04	3.3K
	pc3_pr3_x.con.body.html	2008-06-24 17:04	9.4K
	pc3_pr3_x.con.html	2008-06-24 17:04	2.8K
	pc3_refl.con.body.html	2008-06-24 17:04	11K
	pc3_refl.con.html	2008-06-24 17:04	2.2K
	pc3_s.con.body.html	2008-06-24 17:04	14K
	pc3_s.con.html	2008-06-24 17:04	2.8K
	pc3_t.con.body.html	2008-06-24 17:04	26K
	pc3_t.con.html	2008-06-24 17:04	3.3K
	pc3_thin_dx.con.body.html	2008-06-24 17:04	29K
	pc3_thin_dx.con.html	2008-06-24 17:04	4.3K