Index of /repos/coq/prelude/_darcs

	Name	Last modified	Size	Description
	Parent Directory		-
	inventories/	21-Jun-2008 12:32	-
	inventory	29-Jan-2010 11:13	1.9K
	patches/	29-Jan-2010 11:13	-
	prefs/	21-Jun-2008 12:32	-
	pristine/	29-Jan-2010 11:13	-
	tentative_pristine	29-Jan-2010 11:13	3.2K