Index of /pub/asperti

	Name	Last modified	Size	Description
	Parent Directory		-
	084.ps	17-Aug-2006 10:28	197K
	ADlfcs.ps.Z	17-Aug-2006 10:28	63K
	AM98.ps	17-Aug-2006 10:28	611K
	As98.ps	17-Aug-2006 10:28	162K
	Fvirtual.tar	17-Aug-2006 10:28	72K
	IS1.ps.Z	17-Aug-2006 10:28	207K
	IS2.dvi.Z	17-Aug-2006 10:28	111K
	IS2.ps.gz	17-Aug-2006 10:28	157K
	PD_HELM_2.dat	17-Aug-2006 10:28	13K
	README	17-Aug-2006 10:28	1.4K
	RTA99BDG.xls	17-Aug-2006 10:28	76K
	SLLL.ps.gz	17-Aug-2006 10:28	46K
	TCSfull.ps.Z	17-Aug-2006 10:28	90K
	bohm1.1.tar.gz	17-Aug-2006 10:28	143K
	book.ps.gz	17-Aug-2006 10:28	857K
	compiti_LFC/	17-Aug-2006 10:28	-
	compiti_logica/	17-Aug-2006 10:28	-
	coqlog.xml.txt	17-Aug-2006 10:28	573K
	esperim_comp_UNIX_pascal.tar.gz	17-Aug-2006 10:28	71K
	figure.tar.gz	17-Aug-2006 10:28	114K
	full_safe.ps.gz	17-Aug-2006 10:28	99K
	fundamenta.ps.Z	17-Aug-2006 10:28	89K
	jcb01.tar.gz	17-Aug-2006 10:28	235K
	light.tar	17-Aug-2006 10:28	710K
	nuoveparti.tar.gz	17-Aug-2006 10:28	454K
	par.ps.Z	17-Aug-2006 10:28	96K
	pnp.ps.gz	17-Aug-2006 10:28	79K
	pnp.tar.gz	17-Aug-2006 10:28	365K
	popl.ps.gz	17-Aug-2006 10:28	61K
	safe.ps	17-Aug-2006 10:28	261K
	safe.ps.Z	17-Aug-2006 10:28	58K
	tesi_padovani.ps	17-Aug-2006 10:28	746K