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

	Name	Last modified	Size	Description
	Parent Directory		-
	lmf.di.uminho.pt/	2019-03-22 17:28	-
	www.sandvox.com/	2019-03-22 17:28	-
	www.cs.uu.nl/	2019-03-22 17:28	-
	www.liacc.up.pt/	2019-03-22 17:28	-
	www.dsic.upv.es/	2019-03-22 17:28	-
	www.math.uminho.pt/	2019-03-22 17:28	-
	www.cs.bris.ac.uk/	2019-03-22 17:28	-
	www.di.ubi.pt/	2019-03-22 17:28	-
	www.sidereus.pt/	2019-03-22 17:28	-
	www.math.pku.edu.cn:..>	2019-03-22 17:28	-
	www.overturetool.org/	2019-03-22 17:28	-
	web.comlab.ox.ac.uk/	2019-03-22 17:28	-
	www.multicert.pt/	2019-03-22 17:28	-
	www.dcs.kcl.ac.uk/	2019-03-22 17:28	-
	www-sop.inria.fr/	2019-03-22 17:28	-
	www.iist.unu.edu/	2019-03-22 17:28	-
	www.cwi.nl/	2019-03-22 17:28	-
	www.csk.com/	2019-03-22 17:28	-
	www.cs.chalmers.se/	2019-03-22 17:28	-
	cs.ioc.ee/	2019-03-22 17:28	-
	cctc.di.uminho.pt/	2019-03-22 17:28	-
	www.di.uminho.pt/	2019-03-22 17:28	-
	www.uminho.pt/	2019-03-22 17:28	-
	wiki.di.uminho.pt/	2019-03-22 17:28	-
	www.termgraph.org.uk/	2019-03-22 17:28	-