F MINI-ART.DVI;1                    	mini-art.dvi
F MINI-ART.TEX;1                    	mini-art.tex
F MINITOC.DVI;1                     	minitoc.dvi
F MINITOC.TEX;1                     	minitoc.tex
F MINITOC-.DVI;1                    	minitoc-ex.dvi
F MINITOC-.TEX;1                    	minitoc-ex.tex