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)