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

	Name	Last modified	Size	Description
	Parent Directory		-
	clear_pr3_trans.con.body.html	2008-06-24 16:41	16K
	clear_pr3_trans.con.html	2008-06-24 16:41	3.4K
	pr3_cflat.con.body.html	2008-06-24 16:41	33K
	pr3_cflat.con.html	2008-06-24 16:41	3.8K
	pr3_eta.con.body.html	2008-06-24 16:41	118K
	pr3_eta.con.html	2008-06-24 16:41	7.1K
	pr3_flat.con.body.html	2008-06-24 16:41	15K
	pr3_flat.con.html	2008-06-24 16:41	4.9K
	pr3_head_1.con.body.html	2008-06-24 16:41	33K
	pr3_head_1.con.html	2008-06-24 16:41	3.8K
	pr3_head_2.con.body.html	2008-06-24 16:41	22K
	pr3_head_2.con.html	2008-06-24 16:41	4.0K
	pr3_head_12.con.body.html	2008-06-24 16:41	18K
	pr3_head_12.con.html	2008-06-24 16:41	4.6K
	pr3_head_21.con.body.html	2008-06-24 16:41	18K
	pr3_head_21.con.html	2008-06-24 16:41	4.6K
	pr3_lift.con.body.html	2008-06-24 16:41	23K
	pr3_lift.con.html	2008-06-24 16:41	4.4K
	pr3_pr0_pr2_t.con.body.html	2008-06-24 16:41	233K
	pr3_pr0_pr2_t.con.html	2008-06-24 16:41	4.4K
	pr3_pr2.con.body.html	2008-06-24 16:41	7.7K
	pr3_pr2.con.html	2008-06-24 16:41	2.8K
	pr3_pr2_pr2_t.con.body.html	2008-06-24 16:41	269K
	pr3_pr2_pr2_t.con.html	2008-06-24 16:41	4.4K
	pr3_pr2_pr3_t.con.body.html	2008-06-24 16:41	32K
	pr3_pr2_pr3_t.con.html	2008-06-24 16:41	4.4K
	pr3_pr3_pr3_t.con.body.html	2008-06-24 16:41	29K
	pr3_pr3_pr3_t.con.html	2008-06-24 16:41	4.4K
	pr3_t.con.body.html	2008-06-24 16:41	20K
	pr3_t.con.html	2008-06-24 16:41	3.3K
	pr3_thin_dx.con.body.html	2008-06-24 16:41	26K
	pr3_thin_dx.con.html	2008-06-24 16:41	4.3K