Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/nonstd/nsa

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]trig.lisp.gz2002-11-01 14:39 18K 
[   ]exp.lisp.gz2002-10-28 13:26 13K 
[   ]trig-approx.lisp.gz2008-08-07 07:52 11K 
[   ]exp-sum.lisp.gz2002-11-01 14:36 10K 
[   ]sqrt.lisp.gz2006-08-09 11:20 8.7K 
[   ]sine.lisp.gz2002-10-28 13:26 8.7K 
[   ]derivatives.lisp.gz2002-10-28 13:25 8.4K 
[   ]continuity.lisp.gz2004-01-25 20:29 7.3K 
[   ]nsa.lisp.gz2002-10-28 13:26 5.6K 
[   ]norm.lisp.gz2002-10-28 13:26 5.2K 
[   ]exp-continuous.lisp.gz2004-10-01 11:07 4.6K 
[   ]inner-sums.lisp.gz2006-08-09 11:20 4.4K 
[   ]next-integer.lisp.gz2002-10-28 13:26 1.3K 
[   ]alternating-series.lisp.gz2002-10-28 13:25 1.3K 
[   ]continuity-product.lisp.gz2002-10-28 13:25 776  
[   ]factorial.lisp.gz2002-10-28 13:26 548  
[   ]Makefile.gz2001-09-20 15:05 464  
[   ]certify.lsp.gz2001-09-20 15:05 163  

Apache/2.4.62 (Ubuntu) Server at www.cs.utexas.edu Port 443