Index of /repos/coq/Russell/_darcs

	Name	Last modified	Size	Description
	Parent Directory		-
	checkpoints/	31-Jan-2008 21:57	-
	inventories/	31-Jan-2008 21:57	-
	inventory	01-Feb-2008 00:40	30K
	patches/	01-Feb-2008 00:40	-
	prefs/	31-Jan-2008 21:58	-
	pristine/	31-Jan-2008 21:58	-