NAME

       formed - formula editor for first-order logic formulas

SYNOPSIS

       formed [options]

DESCRIPTION

       This manual page documents briefly the formed command.

       formed  is  a window-based program for constructing, displaying, and managing first-order logic formulas.
       The main motivation for constructing formed was the desire to have formulas displayed in a readable, two-
       dimensional format. Users of formed  can  make  two  kinds  of  transformation  on  formulas:  (1)  logic
       transformations,  such  as negation normal form translation, which preserve the meaning of a formula, and
       (2) edit transformations, which can be used to make arbitrary changes, such as adding a hypothesis  to  a
       subformula. formed was written by using the X Window System, Version 11, and code from the theorem prover
       otter.

OPTIONS

       A summary of options is included below.

       -l filename
              Load formulas in the specified file during startup. Formulas can also be loaded after startup with
              the button Load in the main menu.

       -f color
              Use the named color for the foreground on color monitors (ignored on black-and-white monitors).

       -b color
              Use the named color for the background on color monitors (ignored on black-and-white monitors).

SEE ALSO

       anldp(1), mace2(1), otter(1).
       ``FormEd:  An  X Window System application for managing first-order formulas'' (McCune et al.), available
       from http://www.osti.gov/energycitations/servlets/purl/6427100-WtOa4g/6427100.PDF

AUTHOR

       formed ws written by William McCune <otter@mcs.anl.gov>

       This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, for the Debian project (but may
       be used by others).

                                                November  5, 2006                                      FORMED(1)