debian man page for ladr4-apps

LADR4-APPS(1)						      General Commands Manual						     LADR4-APPS(1)

NAME
       ladr4-apps - undocumented LADR4 applications

DESCRIPTION
       Some programs in the ladr4-apps package currently have no manual pages.	You can obtain documentation on some of these applications via the
       prover9 manual, which is available on Debian systems via the package prover9-doc, at /usr/share/doc/prover9-doc/manual/index.html.   Alter-
       natively  invoking  the	application  with the -help option may produce documentation.  Patches to add manual pages are welcome, and may be
       sent to the Debian package maintainer, whose details are listed below.

AUTHOR
       The applications were written by William McCune <mccune@cs.unm.edu>.

       This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).

								  August 12, 2007						     LADR4-APPS(1)