F ABBREVS.DVI;1                     	abbrevs.dvi
F COMPSCI.DVI;1                     	compsci.dvi
F LIPS.DVI;1                        	lips.dvi
F MOREDEFS.DVI;1                    	moredefs.dvi
F SLEMPH.DVI;1                      	slemph.dvi