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.   Alternatively  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)