An implementation of basic propositional formulae manipulation routines in
Scheme (Scheme is available on disk 149).  Uses only essential procedures
so it should run under any Scheme.  

 PERMSSN    UID  GID    PACKED    SIZE  RATIO     CRC       STAMP          NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
[generic]                  293     974  30.1% -lh5- f0b5 Feb  6  1990 Formulae.info
[generic]                   36      36 100.0% -lh0- c3f6 Feb  6  1990 Formulae/.info
[generic]                 2879   10501  27.4% -lh5- 39e1 Feb  6  1990 Formulae/Formulae.scm
[generic]                  231     399  57.9% -lh5- b236 Feb  6  1990 Formulae/Formulae.scm.info
[generic]                 1423    3965  35.9% -lh5- 67e4 Feb  6  1990 Formulae/ReadMe
[generic]                  140     185  75.7% -lh5- fe4c Feb  6  1990 Formulae/ReadMe.fnf
[generic]                  229     399  57.4% -lh5- 99ef Feb  6  1990 Formulae/ReadMe.info
---------- ----------- ------- ------- ------ ---------- ------------ -------------
 Total         7 files    5231   16459  31.8%            Feb  6  1990