.TH LADR4-APPS 1 "August 12, 2007"
.SH NAME
ladr4-apps \- undocumented LADR4 applications
.SH DESCRIPTION
Some programs in the \fBladr4-apps\fP package currently have no manual
pages.  You can obtain documentation on some of these applications via the
\fBprover9\fP manual, which is available on Debian systems via the package
\fIprover9-doc\fP, at \fI/usr/share/doc/prover9-doc/manual/index.html\fP.
Alternatively invoking the application with the \fB-help\fP 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.
.SH AUTHOR
The applications were written by William McCune <mccune@cs.unm.edu>.
.PP
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>,
for the Debian project (but may be used by others).