Index of /pub/ctan/macros/latex/contrib/synproof

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2007-06-09 15:53	655
	synproof-doc.pdf	2007-06-09 17:11	67K
	synproof-doc.tex	2007-06-09 17:03	12K
	synproof.sty	2009-07-05 14:26	5.8K