Index of /pub/academico/investig/latex/dante/contrib/proof

	Name	Last modified	Size	Description
	Parent Directory		-
	proof.sty	25-Oct-1991 16:00	6.8K
	proofeg.tex	08-Aug-1991 15:00	1.6K