Wff

• Wff.h
• Ops.c, Wff parse-tree operations.
• Write.c, display a Wff.
• Parser.h
• Parser.c
• wff.c, driver, main program.

The program, i.e wff.c and associated *.c and *.h files, in this subdirectory is released under the "GNU General Public License" (GPL) Version 2, June 1991, [http://www.gnu.org/copyleft/gpl.html].

The program can be compiled by copying the files to a directory and running this command:  gcc *.c

L. Allison, 19 February 2001, 18 January, 25 February 2002.