home *** CD-ROM | disk | FTP | other *** search
/ Frozen Fish 1: Amiga / FrozenFish-Apr94.iso / bbs / alib / d3xx / d316 / formulae.lha.pi < prev    next >
Text File  |  1994-03-26  |  410b  |  16 lines
  1. .name
  2. Formulae
  3. .author
  4. Gauthier Groult
  5. Bertrand Lecun 
  6. .source
  7. Includes source in Scheme.
  8. .description
  9. An implementation of basic propositional formulae manipulation routines in
  10. Scheme (Scheme is available on disk 149).  Uses only essential procedures
  11. so it should run under any Scheme.  
  12. .described-by
  13. Automatically generated from Contents file by c2pi program.
  14. .short
  15. Basic propositional formulae in Scheme.
  16.