Index of /users/moore/acl2/books/books/nonstd/nsa

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Makefile                20-Sep-2001 15:05  1.9K  
[   ] alternating-series.lisp 28-Oct-2002 13:25  3.8K  
[   ] certify.lsp             20-Sep-2001 15:05  479   
[TXT] continuity-product.lisp 28-Oct-2002 13:25  2.6K  
[TXT] continuity.lisp         25-Jan-2004 20:29   35K  
[TXT] derivatives.lisp        28-Oct-2002 13:25   39K  
[   ] exp-continuous.lisp     01-Oct-2004 11:07   20K  
[   ] exp-sum.lisp            01-Nov-2002 14:36   46K  
[   ] exp.lisp                28-Oct-2002 13:26   63K  
[   ] factorial.lisp          28-Oct-2002 13:26  1.0K  
[   ] inner-sums.lisp         28-Oct-2002 13:26   20K  
[   ] next-integer.lisp       28-Oct-2002 13:26  3.7K  
[   ] norm.lisp               28-Oct-2002 13:26   20K  
[TXT] nsa.lisp                28-Oct-2002 13:26   29K  
[   ] sine.lisp               28-Oct-2002 13:26   35K  
[TXT] sqrt.lisp               28-Oct-2002 13:26   34K  
[   ] trig-approx.lisp        19-May-2003 20:36   56K  
[   ] trig.lisp               01-Nov-2002 14:39   90K