F 00DESCRI.;1                       	00Description
F BOXPROOF.000;1                    	boxproof.tex
F BOXPROOF.TEX;1                    	boxproof-old.tex
F PROOFTRE.000;1                    	prooftree-doc.tex
F PROOFTRE.AUX;1                    	prooftree-doc.aux
F PROOFTRE.DVI;1                    	prooftree-doc.dvi
F PROOFTRE.LOG;1                    	prooftree-doc.log
F PROOFTRE.TEX;1                    	prooftree.tex
F QED.STY;1                         	QED.sty
F QED-.STY;1                        	QED-.sty