desc.dvi - Brief system description, as found in the proceedings of
	   the 11th International Conference on Automated Deduction,
	   Springer-Verlag, June 1992.

manual.dvi - FRAPPS manual.

hooks.dvi - appendix to FRAPPS manual describing "hooked-on-FRAPPS".

desc.ps, manual.ps, hooks.ps: Postscript versions of the above.
