Index of /repos/coq/misc/sort/_darcs/pristine

	Name	Last modified	Size	Description
	Parent Directory		-
	make.sh	31-Jan-2008 22:10	108
	quicksort.html	31-Jan-2008 22:10	7.6K
	quicksort.v	31-Jan-2008 22:10	7.1K