Index of /ftp/hvg/hol88/contrib/tex-thy-format

	Name	Last modified	Size	Description
	Parent Directory		-
	READ-ME	1992-12-04 12:50	1.1K
	format_thy	1992-12-04 12:50	285
	format_thy.ml	1992-12-04 12:50	6.2K
	holmac.tex	1992-12-04 12:50	1.8K