 
|
85019 packages online
|
|
 |
|
|
|
|
No screenshot available
|
|
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.
|
Contents of misc/math/Formulae.lha
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
|
|
|
|
| Page generated in 0.03 seconds |
Aminet © 1992-2024 Urban
Müller and the Aminet team.
Aminet contact address: <aminet aminet net> |
