An alternative program format for the wff program is given in the directory FormatPaper. This may be suitable for printing on paper (especially if you own shares in Reflex). This is just a different layout of the same 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,
The program can be compiled by copying the files to a
directory and running this command:
L. Allison, 19 February 2001, 18 January, 25 February 2002, Computer Science and Software Engineering, Monash University, Australia 3168.