Index of /~astump/poplmark-coq

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