Index of /web.archive.org/web/20090423073712/http:

	Name	Last modified	Size	Description
	Parent Directory		-
	www.di.uminho.pt/	2019-03-25 09:28	-
	haskell.di.uminho.pt/	2019-03-25 09:28	-
	www.haskell.org/	2019-03-25 09:28	-
	coq.inria.fr/	2019-03-25 09:28	-
	wiki.di.uminho.pt/	2019-03-25 09:28	-