Filewatcher File Search File Search
Content Search
» » » » acl2_4.3.orig.tar.gz » Content »
pkg://acl2_4.3.orig.tar.gz:15251431/acl2-sources/books/arithmetic-2/  info  downloads


This directory is deprecated.  Please see ../arithmetic-5/README for
information about which arithmetic books to use.

Original comments (for this deprecated directory):

This directory was written by Robert Krug, based in part on the arithmetic/
directory but with many changes that make this potentially more useful in a
number of circumstances.


The directory pass1 should be of no concern to the user.  The reasons
for its existence are historical rather than practical.

The book meta/top.lisp is the top-level arithmetic book to use.

The book floor-mod/floor-mod.lisp is the beginning of a library
about floor and mod.  It has not received as much attention as it
should have, but should still be useful.
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017