Index of /~chrzaszcz/coq20089/W1/Gentzen

	Name	Last modified	Size	Description
	Parent Directory		-
	Props1.v	2006-04-05 03:41	378
	Props2.v	2006-04-05 05:05	544
	Props2_orig.v	2006-04-05 04:18	10K
	Props3.v	2006-04-05 03:53	1.0K
	Props4.v	2006-04-05 04:03	4.1K
	Props5.v	2006-04-05 04:16	4.0K
	Props6.v	2006-04-05 04:24	4.1K
	Props7.v	2006-04-05 04:30	4.8K
	Props8.v	2006-04-05 04:35	6.2K
	Props9.v	2006-04-05 04:33	4.6K
	Props10.v	2006-04-05 04:39	5.7K
	Props11.v	2006-04-05 04:41	5.8K
	Props_orig.v	2006-04-04 10:32	9.9K
	coqide.sh	2006-04-05 05:02	108