Index of /~astump/poplmark-coq

	Name	Last modified	Size	Description
	Parent Directory		-
	basics.v	29-Dec-2005 10:35	15K
	helpers.v	17-Nov-2005 11:48	578
	poplmark1a.v	29-Dec-2005 12:29	46K
	strong_nat_ind.v	11-Nov-2005 17:46	1.0K
	trans.v	29-Dec-2005 10:35	8.1K