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

	Name	Last modified	Size	Description
	Parent Directory		-
	di.uminho.pt/	2019-03-22 11:02	-
	www.haskell.org/	2019-03-22 11:02	-
	haskell.di.uminho.pt/	2019-03-22 11:02	-
	coq.inria.fr/	2019-03-22 11:02	-
	wiki.di.uminho.pt/	2019-03-22 11:02	-