============================================================================
Errata for the April 1995 version of ``Formal Logic via F.P.''
May 1995
J.J. Leifer
============================================================================

p.29:
   
   matchSeq: ``leftover'' should read ``matched''

   matches: should read ``matches w hs -- returns a list containing pairs
            (e,h) where e is a substitution environment corresponding to the
	    matching of w to h and h is an element of hs.''

   matchmatch: ``each case the leftover wffs not matched'' should read
               ``each case the wffs that are matched''

   
p.46:

   (bottom) definition of TACTIC conLem: a comma was omitted after
   ``Unfold(conLemma'4)'' when the text was reformated.

============================================================================